style PropPreservingPartition.__str__
check todense instead of shape attribute
print PropPreservingPartition regions, even if no prop symbols
pythonic iterations and filter
print {} if region not labeled with propositions
new: PropPreservingPartition.plot