Merge pull request #2 from cleishm/auto-params

Use foldt in literal search
Merge pull request #3 from cleishm/auto-params

Target literal replacement rewrite to expressions
Memoize copy constructors for Products