Scaffolding for persisting resolution of logic names

[facundominguez]

Another step for #2169

This PR has three kinds of commits.

• Commits that generalize data structures and functions, so they are parametric on the type of names.
• Commits that implement traversals that allow to change the type of these names.
• Commits that implement scope checking.

Scope checks would fail when a name is not in scope. This is something that LH did already by delegating to liquid-fixpoint. In an example like

{-@ f :: x:Int
      -> { v:Int | h v = x }
@-}
f :: Int -> Int
f x = x

liquid-fixpoint would report an error like

Test.hs:5:10: error:
    Illegal type specification for `Test.f`
    Test.f :: x:GHC.Types.Int -> {v : GHC.Types.Int | h v == x}
    Sort Error in Refinement: {v : int | h v == x}
    Unbound symbol h --- perhaps you meant: x, v ?
    Just
  |
5 | {-@ f :: x:Int
  |          ^^^^^...

With this PR a more precise error is produced

Test.hs:5:20: error: Unknown logic name `h`
    Cannot resolve name
  |
5 |       -> { v:Int | h v = x }
  |                    ^

The results of name resolution are not yet persisted, but much of the machinery needed for it is provided now in the LHNameResolution module.