Validation: datatype properties