deleted useless commented out code in TypeSystem.hs