and for m.Switch values
No further modifications beyond that are strictly necessary.
+With `dsl.Module` already being extremely close to 100%
+abstracted with respect to Type 1 AST constructs, Liskov
+Substitution Principle in combination with UserValue (later,
+ValueCastable) combine to provide extremely powerful and
+flexible augmentation and capabilities in nmigen, far beyond
+its original intended design parameters.
# Rationale / Introduction