Removing debugging statements from the lambda-calculus-subst function.