Add some new 'open' declarations to the parser module to eliminate some errors.
Added the [<AutoOpen>] attribute to the NHol.fusion.Hol_kernel so it works as expected by the original OCaml code.