TypeFunction example creatiing a conversion matrix

[Per Nordlöw]

On Thursday, 1 October 2020 at 10:16:47 UTC, Stefan Koch wrote:
> And string -> Type has to be done in a template as well, and 
> that string has to be a template parameter.
> Therefore you still have to work within templates.

Is it possible to applying the `AliasSeq`-special-handling-hack 
in dmd to make `reify` and `unreify` not be real templates?

Would it be possible to rewrite often-used templates in 
druntime/phobos to use alias functions and highlight savings in 
compile-time/space and object-size for larger use cases?