changed some syntax, now we recurse on finding type variables
adding TypeChecker.hs