Add syntax for Agda-style reasoning over preorders
Add a representation of isomorphisms and some useful base isos
Mention preorder reasoning in CHANGELOG
Add test for preorder reasoning syntax
List modules in dependency order
Add Syntax namespace to cabal file
Fix stupid typo
Merge pull request #730 from david-christiansen/feature/isomorphisms

Syntax for preorder reasoning over equality and isomorphisms