define datatype.sml file with samples into it