refactor package structure
check returns set of violators (edges)
generic renaming facility!
more renaming