Added the Dependencies' Planner for Unit imports (uses).
Implemented type-resolving in the lexer.
Many other corrections.