Default conversion of Predicates for Set

I want to make sure that I have normalized Predicates when I am
instantiating a PredicateSet; This may or may not be required, but
for now I'm circling around options.
Adding Property conversion to lean on Predicate
Adding conversion for PropertySet

I want a ProperySet to be something we can derive from a PredicateSet.
Adding case equality for Property presentation