Handle of location in parser and lexer, with reset once parsing is done;
Parser.term and Parser.rule renamed to Parser.parse_term and Parser.parse_rule
renamed 'rule' to 'clause' and 'term' to 'literal', on advice of John Ramsdell,
to be more consistent with the literature. This is a major API breakage, but will obviously
not occur again ;)