Do not compile the type highlighter anymore..caused too many problems / will be done in a dedicated semantics analysis later.
Fixed usages highlighting.
Added MD 4.1,4 externals. Hopefully there's no breakage with XS 4.0.9