Add default supertype and abstract types