Careful with shadowing when abstracting with

Specifically, need to lookup exact (i.e. fully qualified) names rather
than unqualified names to make sure we don't accidentally think local
names are global.

Fixes #1147
Merge branch 'master' of github.com:idris-lang/Idris-dev