hygiene issues at the top level

Hygiene isn't working right at the toplevel. In particular variable names are only getting renamed inside functions.