Finished (for now) working on the type system!
Off to work now on the semantic analysis phase.