supertyped