Everything passes, except hygiene is renaming too many things
all tests pass, including a new test to ensure backward hygiene (not renaming identifiers which shouldn't be renamed)