Hm. As I see, there is no big trouble to create CTFE-adapted version of current aaA.d code. Are there any pitfalls that? But I think, we should keep dynamic (like _aaGetX which use TypeInfo) versions of access functions (for Variant types). But prefer static (with templates) functions.