Recognizer for Verilog structures that can occur as scope definitions.
This is a ``transparent'' sum type introduced using deftranssum. It is simply any one of the following types:
See scopestack. These are for global definitions like modules, user-defined primitives, etc.