test case support fns
new test that uncovers bug in fold
fixed bug in fold's traversal of cast exprs
starting to add sexp encoder