Remove mosml.

Closes #17210.
Closes #16596.
Closes #13282.