supertype