but the more i think about it, the more i think that what we currently do with the "SymbolTable.constraint()" cc @fancy-queen-20734 could be done explicitly by requiring that Target declarations have associated `@rule`s... ie, the "constructor" for a

Target

is always an

@rule