Unified handling of basic and user-defined type proposal

[Eldar Insafutdinov]

Something that I wanted to write about for quite some time and it 
was triggered by the discussion about allowing alias template 
parameters to accept basic types. I wrote about it in the thread, 
but decided to write a separate post which would provide more 
explanation and details: 
http://eldar.me/2012/11/27/symbols-in-the-d-compiler/ . I think 
that this will be a better solution to the alias problem. Any 
thoughts?