Promote nested element types to top-level.

Also prevents other subclasses from existing.