The main transform function: Pretransfom the tree, and then re-type it at phase erasure.
The main transform function: Pretransfom the tree, and then re-type it at phase erasure.next.
(Since version 2.10.0) Use leftOfArrow instead
(Since version 2.10.0) Use resultOfEnsuring instead
The erasure transformer