Move property tests to separate file. Add new constructors.