README: update
test unstrict property equality
make have.property to check equality of the value unstrictly