Fix gather so it correctly detects alpha-equivalent expressions.
Use DoRec instead of RecursiveDo.
Merge pull request #10 from jankner/1.x

Fix for codeMotion2.