- Fix Check to use the constraints inferred during type inference.
- Fix declaration of projections to work again with Primitive Projections on.