Expanding metafunctions, with nameof, typeof, alignof, cardinalityof