Exercises in Standard ML