fix is:module -package:indexed package:Agda

Collecting fixity declarations (and polarity pragmas) for concrete declarations.
Definitions for fixity, precedence levels, and declared syntax.