added my notion of a principled set of type declarations based on the
figure in the paper.  Shows some reuse, which could help with Viterbi.

comments?