Kitchen sink SML library

This library was developed during a project at DIKU, 2011. I'm not working on it anymore. Still, it can be useful.