optional arguments

[Henry Cejtin]

I'll  look  at  the  code,  and  certainly the fact that you could kind-of do
printf-style stuff in Hindley-Milner is impressive, but the  currying  really
bothers  me.   (I  also don't like it in normal ML uses except in cases where
there really is a point to it.)  Also note that especially if the function is
being  used only for effect, so that the value is ignored, it is very easy to
forget an argument and not have the compiler see any error.