Reduce some duplication: move trivial model of equivalence into 020-equivalence module.