Prep for primitive sig type
Primitive sigT projections
sigma elim using eta
WIP more primitive projections