Lambdafunctions might work in interpreter now. Fixed in Typerchecker as well.