Change extension types such that they must declare subtype relations to Object

Change extension types such that they must declare subtype relations to Object #387