Checkpoint: Got the new FieldEqualityRule
CHECKPOINT: Got the field equality annotations
ST coverage for the new field equality rule
Fixing up the build