dsl for discrete distributions
HMM definition uses the new DSL for discrete distributions