Turn `Probability` into polymorphic newtype

[bgamari]

Probability should probably just be a newtype wrapper around a numeric type to indicate that it is a normalized quantity.