Fix/erasure

Fixes to make erasure pass typechecking for the whole test suite. There are quite a few of them and we are not done yet. 

But we are further than before. In particular, pos_all passes, if we restrict ourselves to one run. bootstrapping dotc still fails, and it seems there are still several sources of errors here.