Do not make jump table an array

Looks like one indexing operation per token is not a bottleneck.