A definition of a random variable's distribution. From the distribution
an RVar can be created, or the distribution can be directly sampled.
RVar in particular is an instance of Distribution, and so can be sampled.