match_type ::=
    "with-any-type"
  | "(" "with-type-equal-to" <type-record-identifier> ")"
  | "(" "with-type-not-equal-to" <type-record-identifier> ")"
  ;
