Horrible, hacky changes to erase non-ML type parameters and type applications
Extensions of the OCaml backend for current examples
Add Map and Set to fstar-lib
Add Heap
Merge branch 'master' of github.com:FStarLang/FStar