started renaming support

this currently only works for free vars that are really available.