Formatting cleanup.
Formatting cleanup.
Added `rulematch` debugging target.
Formatting cleanup.
Fixed tricky bug caused when just one pattern remains in a match from the unbindable matcher.  This resulted in a preemptive exit, even though other patterns may remain.