Working version of the ecore file for the abstract syntax (teacher
validated)