Using more Menhir library functions, no more reversed lists