Revert "Added nonworking PartExp :("

This reverts commit 3633eb21eebe940be2822ffae75527fa1a0e4700.
Calculate and output definitional equalities
Merge branch 'master' of github.com:/danr/hipspec
Add application to Map and Fold.