Trying to implement the type-system on top of core.logic.

First phase (the type-checker's skeleton) complete.
Phase 2 complete:
the dependencies of the type-checker
Phase 3 complete:
Added solver.
- A lot of logic has been tested.
- Not/Complement types have been added.
- A limited form of occurrence-typing for :form/if.
- Added the missing literals.