intermediate state for the tests:

* the original namespace-collision checker only worked for abstractions
* trying a new namespace-collision checker revealed about 80 new clashes.
  Since there are so many it's probably too disruptive to remove them.
* probably need to revert the namespace clash abstraction removals