more complete list of supertypes