Fixed more bugs, added _Sigma0 attribute to Distributions, for easy access to the monoid.