Removed unsound OpDiv refinements; other minor changes
Cleaning up prelude; fixed a broken test
Merge pull request #86 from UCSD-PL/prelude-update

Prelude update