First life-signs of type functions

[Max Samukha]

On Tuesday, 12 May 2020 at 14:14:21 UTC, Stefan Koch wrote:
> are you sure that that is the case for alias declarations?
> For me
> alias a = "Foo";
> causes Error: basic type expected, not "Foo"
> Which is identical to how they behave in type functions;

Can this old design flaw be fixed? 'alias a = Alias!"Foo"' 
shouldn't be necessary. We should be able to alias directly 
everything that we can pass to an alias template parameter.