syntax: fix invalid OCaml names
syntax: fix invalid OCaml names

Not caught by the #1001 fix, apparently...

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar