Moved the printing functions into Datatypes.sml.