Fix and test an issue using equivalences on non-wff kinds
More scheming on the nats