Comment/docstring updates.
Add module docstring for lattice operations.

The docstring explains why/how the lattice operations depend on the
underlying sample space of the distribution.
Add is_null_exact() to ops.
Add pruned_samplespace() and expanded_samplespace().

These functions create new distributions with pruned or expanded sample
spaces.