o improved the line number reporting on parsing expressions
o improved the ambiguity reports by reporting the smallest
subexpression for which the typing is unresolved
o improve the naming of generic parameter when reporting errors.