Move alternation with default trees into Madness

[robrix]

x | const([])

If x is unmatched, then the parse tree passed to const becomes available as a match. (In general, the rhs is String -> T.)