removed projections which are coercions
removed some projections which are coercions anyway
some less projections in yoneda
less projections
still less projections
still less projections