working on the syntax/ops stuff, tests for type projections