Convert tests to Parsec.
JEP formula tests pass.
Fix long-standing bug with additional restrictions.
All tests pass.
Force failure if contents were not fully parsed.
Add `labeled` to Restrictions.
Handle crlf endings properly.