- Removed context/env because it wasn't necessary at all.
- Turned context/graph and context/library into more mixin/ECS like extensions for the context object.
- Now also treating Java's BigInteger as Clojure atoms.
- Starting to merge the subsumption algorithms with the solving ones.
Finally finished removing all dependencies on type/subsumes?
- Broke context/graph into context/env for global and local bindings & context/store for storage of type-vars.
- Reverted the analysis code to work directly with types, instead of working of IDs for types previously stored inside context/graph.