Consider providing e.g. $T::bases_t = decltype($T.bases()), other static member aliases/variables instead of just constexpr fcns

[davrec72]

Low priority:
I'm trying to develop some inheritance-handling templates and I find myself constantly writing decltype($T.bases()) when I'd rather write $T::bases or at least $T::bases_t.
I might also slightly prefer $T::size instead $T.size(), seems like the more common way of accessing info when doing template meta programming, for which these reflection properties are very useful.