new test that uncovers bug in fold
fixed bug in fold's traversal of cast exprs
back to non-debug version of fresh_name
comment out debugging test