Represent a match as a formula in propositional logic that encodes whether the match matches (abstractly: we only consider types)
Interface with user-defined match monad?
if there's a match
in scope, we use this as the match strategy, assuming it conforms to MatchStrategy as defined below:
(matchAnalysis: StringAdd).self
(matchAnalysis: StringFormat).self
(matchAnalysis: ArrowAssoc[MatchAnalysis]).x
(Since version 2.10.0) Use leftOfArrow
instead
(matchAnalysis: Ensuring[MatchAnalysis]).x
(Since version 2.10.0) Use resultOfEnsuring
instead