<A is now a Definition
Cleanup pos => inspos
Plactic theorem upto Green's invariants