coequalizers

Quotient redundant skill paths via coequalizers, preserving GF(3) conservation