Added `discard_parser` and `operator~` generating it; got to make
it allowed in parsers requiring optionals (or different things,
like `sequence_parser`. Eh, simple new feature, but so much work...