o changed many error_list / ! pairs for bind / lookup to match error messages and lookups more closely.
o improved the structure of the term parser in Document/Expression
o added the production of correction in the expression parser.