Comment out old modules: Ty, MkStringExpr, ReifyLambda, ToCircuit