Refactoring of specs for Markov::RandomVariable, and cleaning up of its interfaces.