parse type function application
fix arrow
fix QIDENT
fix ocaml_of Var