Chorale: Minor maintenance.
Types: `Prob` monad for probabilistic computations.
Chorale: Translation of high-level `composeBach` function. Helper functions still need to be filled in.