Add support function for Monad instanciation.
Define Prob monad.
rename for Modularization.
Modularize Prob.
Export Prob constructor.
Export getProb accessor.
add coin filipping function.