Fix liftClosures to not introduce name-clashing functions at the toplevel