Check immutability constraints on super-interfaces
Allow calls to the object super-constructor