More IDESlave semantic highlighting

This adds support for :t name
Fix pretty-printing of infix operators