Hover on text highlights error
Unification constructs
Tweaks