agda parser tested, corrected for (single line) expressions, tested once work