Add support for section arguments in data file

See Grade.Section.SectionOnly for an example of how this could be used.

While here, break SecCallback into a core and existential wrapper;
this makes it a little easier for the scoring modules to write down
meaningful types as a kind of machine-checked documentation.

Move some 'grading' work to the data parser

Split out DingMeta too

Move section metadata to its own data type

Initial Haskell version