hooks for naming and synthesis in Namers.scala and Typers.scala