Unification and extension of compile-time reflection

[Kagamin]

Don Wrote:

>  > Some of these methods overlap but with wildly different syntax.
> 
> You left out typeof/typeinfo/typeid. There's run-time typeinfo, as well 
> as compile-time.

I'd like real uniform API for both rtti and ctti too (ctti code being subject to compile time evaluation). Template constraints could be expressed as contracts. All this declarative syntax can get very messy and unintuitive.