new: Partition.preserves,

abstracting PropPreservingPartition.is_predicate_preserving
rename: Partition.covers_domain -> is_cover, PPP.is_predicate_preserving -> preserves_predicates
pythonize find_adjacent_regions