See testsuite/tests/hiefile/should_run/HieQueries.hs and
testsuite/tests/hiefile/should_run/HieQueries.stdout for an example of this

Additionally,

- Recurse into AbsBinds so that type information for pattern synonyms is saved
- Made some scopes more accurate
- Along with typeclass evidence info, also include information on Implicit
  Parameters

Updates haddock submodule