- Removed most logging.
* Changed some of the syntax for types.
* Replaced the vector of 2 types for ::var and introduced the ::interval type.
* Some refactoring done.
* Inference of polymorphic types has been improved.
* Finished loop inference.
* Hole range reduction done through ANDing the top with another type.
* Refinement system is being revamped, but there is still some work to be done...
* Finished refinements/ocurrence-typing.