Namespace types defined in other modules