Evaluate definition at point

[jbouwman]

Evaluate definition at point.

Will require calculation of sccs for full buffer contents.
Ensure that error offsets are communicated to caller in a way that supports error overlay/navigation.

Depends on coalton-lang/coalton#1111