MAL-sampler Samples the probability distribution defined by a MAL spec, generating a population of instance models.