Added gathering local variable type information in TypeCheck.hs