Added type dyn to the lambda language. short example compiles. yay.