warning added to oldTypes.ml about the shoddiness of the mult function