Bind & null are extremely similar

robrix

Instead of binding out to a thread local array during pattern matching, capturing the result would allow us to handle backtracking/etc more naturally and would reuse the existing machinery for parse forests.

robrix

Key difference is that the null reduction combinator matches the empty string, while bind matches everything. But it still seems related.