Application test passes
thunks work, and begin
initial env work
variable lookup seems to work
Booleans, and more arith
some of letrec works
fib & fac work