compiler: don't alpha-rename top-level definitions (simplifies redefinitions)