let and if expression type checking passes tests