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.