agda parser (rename agda dialect?) written to
parse expressions, equalities, definitions, data statements
and some helpers.
reserved words are not tokens.
extend when needed ot have let, fix etc.