Transform/erasure

First working version of erasure.

Well it works for one file (tests/pos/erasure.scala). 

To test erasure, you need to use

   -YstopBefore terminal

Otherwise it will stop before it comes to the phase.