- discard meta signatures
- discard abstract signatures
- discard enum signatures and their children
- discard parents of subset signatures
- discard signatures of meta fields

TODO: make sure we’re not discarding anything useful in the non-join
else case of visit(ExprBinary).