Fix subsumes relation for object types