Issue 9608 - Implement a set of traits for template parameter introspection.

https://issues.dlang.org/show_bug.cgi?id=9608

Spec pull will be made if it's accepted.

@andralex: Are these traits complete enough for your needs?