Removed the old typechecker. We really should stopping just keeping old code around. It only confuses things when you are reading the code.