Allow renames of givens generated by derives clauses - 'as' in derives#1

arainko wants to merge 3 commits intomainarainko/dotty:mainfrom

as-in-derivesarainko/dotty:as-in-derivesCopy head branch name to clipboard