More alpha-conversion.
Started restoring OCaml backend.