Type Traits for Introspection

You will be able to inspect type properties during compilation to enable conditional code paths.