Rewritten the JParsec parsers based on tokens.

This style makes it easier to add new Statement and Theory parsers
later.  This commits adds a restriction that only 'identifiers'
and single-quoted string literals are allowed, so, e.g., (0) is
not yet allowed.