Simplify TeXTokenSpan flags usage
Make TeXTokenSpan extend MetricAffectingSpan
Use bold typeface for non-escaped special symbols
Distinguish master vs. current document