Add some examples to readme
Critical property must take an instance of the underlying datatype