Generalize ANF transformation to cover more cases
Generalize ANF transformation to cover more cases

The code now uses traverse21 and is much shorter.
The newly covered cases include Bucket.
Thus, I hope this commit preserves the behavior of the ANF
transformation and closes #70.

zachsully/hakaru,zachsully/hakaru