Given a rule P, returns a matcher that always returns an empty list of consumed tokens when P succeeds.