SRFI 241 says: "The author of this SRFI suggests that any reviving attempt of SRFI 204 should make the resulting pattern matcher extensible so that there are only few primitives with clear semantics allowing the rest of the specification defined in terms of them."
What would this extensibility look like?
