core tetra: get basic higher order functions working via lambda lifting and curry transform