Finished LAMBDA, T_NIL, T_T