tests:
- public-add/
- public-bool2/
- public-list0/
- public-add1/
- public-curry/
- public-list1/
- public-arith0/
- public-factorial-bonus/
- public-list2/
- public-arith1/
- public-length/
- public-multiply/
- public-arith-bonus/
- public-length-letrec/
- public-zero/
- public-bool0/
- public-let0/
- public-bool1/
- public-let1/