Indeed. But that means, and I just realize that, that `withPhase` mutates the underlying object depending on its runtime type. @odersky I think this is a very bad idea. The methods should have a different name. (IMHO, the `with` methods of `FreshContext` should rather be called `set`)