Modules that have at least one domain specified may not include ports not part of a named domain

[VonTum]

This is so we don't need to make up a domain name for that first domain.

So this would be forbidden:

module myMod {
  input int a // on domain "myMod", require having a domain specifier above

  domain bbb
  output int b
}

It should force the user to write

module myMod {
  domain aaa
  input int a // on domain "myMod", require having a domain specifier above

  domain bbb
  output int b
}