Hey walter, have you thought about adding first class types to the language? that would enable us to use CTFE for type based algorithms instead of templates lik

Hey walter, have you thought about adding first class types to the language? that would enable us to use CTFE for type based algorithms instead of templates like std.meta. If you did, what are the reasons against them?