split up TypeSystem.cpp to the actual methods used in the system, and their applications on the Nodes. (TypeSystem.cpp and TypeCheckNodes.cpp)