" I s t h i s a singl e-matchi ng pattern?

E.g. (?is x predicate) (?and . patterns) (?or . p a t t e r n s ) ."

(and (consp pattern)

(single-match-fn ( f i r s t p a t t e r n ) ) ) )

(defun segment-matcher ( p a t t e r n i n p u t bindings)