diffing of renamings of trait inclusions
fixes #23: possible to rename already included selectors as well as
change and remove existing aliasing, now