Git cvsimport of the very excellent, educational MinCaml project of Eijiro Sumii