Really trying to clean up this type system.
Refactoring and merging redundant code in type checker.
Cleaning up the TypeSystem, almost ready for classes!
Merge pull request #8 from Mikeygoo/TypeSystemCleanup

Type system cleanup