Parsing message interface.

Pretty --- a general set of pretty-printer combinators. Implemented as a wrapper for the standard module Format to ease its use.

Reordering expression in according to priorities of its operators.

Predefined implementation of reason type to describe various errors happened during parsing.

Trap is infrastructure to maintain the relation between parsed items and their locator information.