Added documentation
Added contracts for IDistribution interface

Added a few extra checks in the Pareto distribution