add interval tree and pseudocode for matching ambiguous literals to ambiguous token spans