tests for functions in datatypes.sml