Implement first bits of lambdas rendering
Implement `push` of arity 2 and 3