finish implementation + tests of lambda special form