first draft of renaming on annotations

needs still work, especially on printing
renaming imports, still need to fix mkRenamedImportTree for renamed renames
refactored structure of Rename refactoring
gsoc midterm commit