Inspect type oddities

[mads-hartmann]

The type inspection doesn't always give the correct type.

There are two issues that i know of:

• Saving the file isn't enough, I have to tell ENSIME to run a type-check on the file so it can build a new type-tree
• It seems that the caret position is wrong as it will give the type of an expression at another position (I have no idea why this is)