Additions to prelude
Merge pull request #84 from UCSD-PL/prelude-update

Additions to prelude