get ml_monadScript.sml to build

Needed to re-assert the type abbreviation of "M" (from
hol_kernelScript.sml) because for some reason it now clashes with some
other "M". Not sure how else to manipulate type abbreviation priority.

Also, needed to simplify away the prim_sem_env that appears in the new
definition of DeclAssum.