Remove testing via unsafePerformIO
Provide a way to define super-types in type annotations. Should not be used outside of core libraries.