Module Tmc

val rewrite : Lambda.lambda -> Lambda.lambda