Minor documentation fix.
Correct HMM2 -> HMM example to properly use cartesian product.
[WIP] Represent state and symbol dictionaries as sets.

Ref: #3.