"Strings, arrays, lists, sequences, captures, and tree nodes can all be pattern matched by regexes or by signatures more or less interchangably."
How can captures me matched by regexes? Does this mean that there is really an isomorphism between Signatures and Regexes?