Added a couple monoids that will be useful factors for a delimiter monoid, which in turn will be useful for matching and jit-parsing across delimiters.
Added a light framework for jit deduction.