unprivates important helpers in Namers.scala
hooks for naming and synthesis in Namers.scala and Typers.scala