use lens rather than big pattern match
Fix crash when typing "f x = map _ _" being on second hole

Crash due to using Guids from ImplicitVars stage in Structure context. Bug introduced in commit 717e6dee7