Parsing Agda Expressions : compiles, covers most cases.