Extend the TokenProposal to predict multiple variable-length predictions

[timvieira]

It should be possible to use the Crunching algorithms to step forward some high-probability continuations that we can drop into a set that we can sample from. We can use the wildcard trick to compute a properly weighted update.