I. Programming with Standard ML