structure OS: syserror should be an eqtype, and missing functions

[kfl]

The type syserror is declared to be an equality type in the Basis. In Moscow ML it is not.

Missing functions: val errorName : syserror -> string val syserror : string -> syserror option

Missing substructure: IO.

Originally reported by Henning Niss