Added TypeClasses for Refl, Sym, Trans and applied them to Paths and Equiv
Merge pull request #62 from mdnahas/master

TypeClasses for Refl, Sym, Trans applied to Paths and Equiv.
Correct arguments to equiv_compose, and simplify equiv_Transitive.