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
minor typo
delete unmatched )
Merge pull request #145 from dotty-staging/fix/#143

Fixed #143
Fixed typo
Merge pull request #146 from dotty-staging/docs/hk-typo-fix

Fixed typo
fix/148

Fixed typo in Splitter. Closes #148.
Merge pull request #149 from dotty-staging/fix/#148

fix/#148
Allow FullParametrization to work on localy defined methods
Create RetypingTreeMap that propagates types

If some node in tree is transformed changing the type,
the outer node could potentially also change type.

This patch implements a RetypingTreeMap that propagates those
changes until types converge. Propagation is done for tree nodes
that are able to compute their type based on their children:
Pair, Block, If, Match, CaseDef, Try, SeqLiteral, Annotated.