testing the validation of set types