more tests of DataProperties.hs