Templates, SFINAE, Concepts are counter-productive

Simple templates with little to no nesting is nice and ergonomic. But I often find myself wasting time and fighting with compiler whenever doing template meta programming. For example: https://stackoverflow.com/questions/76881423/is-there-a-way-to-retrieve-the-inner-types-of-a-type-using-variadic-templates-in
This solution works but it takes time to find that and the code is very wordy. Even though the idea of inner types is simple to explain to programmers.

SFINAE is horrible for compiler errors. In general template programming is also bad for errors. Are static_asserts the best we can do?

Concepts seems like it will cause more problems for me. Even more wordy and still bad compiled errors.

Should we go back to basics? What are we trying to solve? Isn't this just code generation? Can't we create a special scripting language for code gen? Allow access to compiler time data, type info, write any text to be compiled. Spit out custom error messages at compile time anywhere. Wouldn't that solve all my problems?

For context I'm working on game engines.

https://redd.it/1ny8eba
@r_cpp