refactor Model BeginNode
more doco for MiddleNode
More doco for model
no positional notation in conversion
simpler Arbitrary instance for BeginNode
introduce ListModel type
lots of abortive mucking about with Viterbi