removed type_string from the TypeChecker.hs, since that was missing
in the cf, and since the lab says to only handle types
int, double, bool, void