Renaming Levels for Syntax