Markov: Chain: rename distribution to distrib
Markov: Chain: add Monoid instance