A variable occurs free in an expression if it is not bound by an enclosing let expression. Implement this predicate as an isFree method for each AST node, such that given a variable name of type String, the method returns true if that name occurs free in that AST node, and false otherwise.