Fixed:
   - fix generation from KSyntax to grammar states.
   - fixed sort for terms generated by the parser.
Adding support for error reporting. Still need to connect it o kast and present the errors in a meaningful way.