object instance type and type projections