Fix bug where order of sample space was changed even if sort=False.
Add is_null() to Operations.
Add option to trim sample space during construction of distributions.
Improve mixture_distribution(). Also provide mixture_distribution2().

The latter is an optimized version when all dists have the same pmf.