* Improved refinements/ocurrence-typing.
* Corrected a bug that erased some valuable type info when exiting var scopes.
+ Finished bounded polymorphism.