[ refactor ] Named fields of Fixity constructors.
[ cosmetics ] Fixity: fixed spacing, added some comments.
[ refactor ] Made tuple NewNotation into a record.
[ fixed ] printing of fixity declarations in error msgs.
[ untabify ] Syntax.Concrete.Pretty
[ comment ] where to find the Pretty instance for Fixity.
[ new ] utilities caseList and listCase.

For case distinction over lists.
[ refactored ] slightly and commented the translation of operator applications.
[ whitespace ] untabify and uniform indentation in Concrete.hs.
[ commented ] inner workings of niceDeclarations.
[ test case ] for syntax declaration that does not use all binders.
[ ErrorReporting ] Capitalization of parser errors.
[ refactored ] and commented Agda.Syntax.Notation.
[ removed ] unused Concrete.Operators.buildParser.

Had been replaced by buildParsers long ago.
[ moved ] definitions to bring haddocumentation back to buildParsers.
[ moved ] notation utils from Operators to Fixity and Notation.
[ removed ] unused exports of Concrete.Operators.
[ removed ] unused undocumented functions paren and mparen from Operators.
[ debug ] printout and cosmetics in Syntax.Concrete.Operators.
[ Issue 1194 ] Fixed by using same fixities in parser and scope checker.

When several fixities for an overloaded constructor where available, the
operator parser (getDefinedNames) chose a random one and the scope
checker (getFixity) none.
Now we choose the single interesting (non-default) one, if exists,
otherwise none.