Abstract syntax: Ops created (to implement yet) + CUP updated (little
bugs)