Type class trickery to eliminate the FFI boilerplate.
Merge pull request #1 from Rotsor/master

Type class trickery to eliminate the FFI boilerplate.
Merge remote-tracking branch 'origin' into normal-forms
Minor debugging.
Worked on improving BDDs.
Testing PGs.