Allow MiniPhase to be DenotTransformer & LazyVals

Finally :-)
@odersky, @sjrd please review