+
+3. Converting to lambdas. Using the type definitions you developed in
+homework 5, rebuild the evaluator in OCaml to handle the untyped
+lambda calculus. Making use of the occurs_free function you built,
+we'll provide a function that performs safe substitution.
+