Tests used so far
Copying Garbage collector ran on the code
Deep transformation
Checkpoint. Extracting specialization
Determining the rewiring target
Type tags call done
Arguments adapted
Result adaptation and tree replacement
Method redirection done
Made the manifest explicit, to avoid curried params
More tests
New rewiring