Incorrect highlighting with context arrow

[sheaf]

The logic to highlight context arrows runs into trouble with the following:

data WithDict ( c :: Constraint ) ( x :: Type ) = WithDict ( c => x )

I think the issue is that the code that highlights to the left of a context arrow doesn't know to stop when encountering a parenthesis/bracket/etc. Probably related to #165 and #167.