Correct arguments to equiv_compose, and simplify equiv_Transitive.
State another naming convention, and align relation instances with it
Merge pull request #63 from mikeshulman/forupstream

Correct arguments to equiv_compose, and simplify equiv_Transitive.