- Rewrote type system (WIP)

Refactored code structure, basically done.