Doesn't resolve TemplateHaskell splices and top-level usages

[chshersh]

I can imagine that full support of -XTemplateHaskell is big work. Though it would be good to make it work for at least several common cases like these ones:

{-# LANGUAGE TemplateHaskell #-}
data Foo = Foo { _foo :: () }
makeLenses ''Foo     -- 1 option
$(makeLenses ''Bar)  -- 2 option

Now there's no way to observe makeLenses from Scoped annotations. There only Scoped None instead of something like Scoped GlobalSymbol ....