- Added regula.clj for testing purposes.
- Removed the old (unused) implementation of the type-system.
- Function inference almost done. Only missing a complete implementation of occurrence-typing.
Rewriting the type system with a combination of monads & pattern-matching.
* Almost done implementing ocurrence-typing.
+ Added changes missing from the previously-attempted implementation.