Fixed #143

The problem was that TermRefWithSignatures did not take shadowed names into account
when reconstituting themselves under a new prefix.
Added test for #143 to regression tests
Merge pull request #145 from dotty-staging/fix/#143

Fixed #143