Got lambda and expression lists to work well and beta reducing