Rewrite rules now return pairs of lambdas to replace and lamdas to do the replacing and rewrites are applied using FunDecl.replace
Rewrite rules now return pairs of lambdas to replace and lamdas to do the replacing and rewrites are applied using FunDecl.replace

lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift