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