I don't see how you could actually come up with new stuff in PLT without a very heavy math background, specifically in logic. I mean it's not impossible just extremely unlikely.
New programming languages aren’t usually examples of novel advances in type theory. They’re usually just novel combinations of existing features. They’re still “bleeding edge” in the sense that they’re what the industry will be using in 20 years.