test cases in srfi-1.scm now look at types as well as values of expressions. typecheck expressions inside lambdas. fold -> foldl, fold-right -> foldr, alist-cons -> acons.