match, which offers all
the core functionality specified in SRFI 200,
while extending it with support for non-linear patterns and backtracking.
The proposed construct is modular and supports easy extension through the define-match-pattern
mechanism. It can be implemented portably in R⁷RS-Small.