added non standard ml files

Lars, here's my pull request for my revised SML specs.
Not sure what I;m doing...