category base: a type declaration that can nest other types and members, e.g. Namespace / Class / Module / Structure / Enum / Interface.