Top On Types

Moved to AlternativeTypeDefinitions (as this page involved in an edit war).