subtyping built-in types is now possible