added Types.Extends and Types.InstanceOf