Expand type aliases in dependent pairs

[facundominguez]

Before this patch, the following test would fail

{-@ type Id = {v:Int | v >= 0} @-}
{-@ lemma :: l:Id -> (id::Id, { true }) @-}
lemma :: Int -> (Int, ())
lemma x = (x, ())

with

Test.hs:6:27: error:
    Uh oh.
    CallStack (from HasCallStack):
  panic, called at src/Language/Haskell/Liquid/Bare/Resolve.hs:972:37 in liquidhaskell-boot-0.9.10.1-inplace:Language.Haskell.Liquid.Bare.Resolve
    lookupTyThing: cannot resolve a LHRLogic name "Id"
  |
6 | {-@ lemma :: l:Id -> (id::Id, { true }) @-}
  |                           ^^

[facundominguez]

Summoning @nikivazou, in case there is a good reason why types in ss were not expanded.

[nikivazou]

No reason that I can remember!

[facundominguez]

cc @clayrat