Initial release

This version is the last that comes with the custom BoundedDouble dependent type for encoding probabilities. In the next release, we'll switch across to use the Probability library which is heavily inspired by Probabilistic Functional Programming in Haskell by Erwig and Kollmansberger. This release is nevertheless an interesting one.