Should have a Probability type

[bernardosulzbach]

This is almost what our Percentage type is. The problem with the current Percentage type is that a Percentage is just that, a percentage. It makes sense to have 120% percent, it doesn't make sense to get 1.20 probability, so these are different things and need different treatment. So far I've been using Percentage everywhere, which is just not correct.