started fixing definitions in closure conversion regarding recursive conversion rules