-Give a reason when matches fails.  Actually, we often just get caught in an infinite loop inside the backtrack code when we fail.
-Is our anchoring behaviour correct?
	We must match at the beginning of the data, but any data left over at the end is okay.