Some slight refactorings and comment in SpansAnd
FIX: SpansNot.skipTo() causes some tokens to be incorrectly produced
when they should've been skipped