A top-level type, not contained within another type.