* Reform encoding of symbols
* Fix bugs in Matcher
* Fix bugs in Span
* Add tokenizer rule to fix numeric range tokenization
* Add specific string-length cap in Tokenizaer
* Fix token.conjuncts