Change the `::` infix function to be an operator
Pretty much full support for the Menhir grammar