fixed user type highlighting, and performance increase

made diagnostics and code completion and formatting run asynchronously.
dispatching to ui thread when needed.

User type highlighting is now much better.
fixes and performance improvements for fast finder.