new test that uncovers bug in fold
fixed bug in fold's traversal of cast exprs
starting to add sexp encoder
added test for ptr_eq on fresh_name-generated idents