Adding specs for property translation

These are adequate for now, but I want to tweak the lookup structure.
Its a little weird at the moment.
Improving conversion for PredicateSet