trying out a cache for the enumerated anchoring
fixes a few flaws in the tokenizer
new jflex!
bunch of tweaks to the tokenizer
bunch of tokenizer fixes
even more fixes