added let and sum expressions to type checker