Project 5, exercise 9: avoiding name capture by creating a unique name not present in an expression.