ocamllex & -yacc experiments