lambdas - this language has everything except for types