WyC: Preparing to restructure the parser and introduce the new syntax #174