Function lam 

pub fn lam(name: &str, ty: Expr, body: Expr) -> Expr

Shorthand: create a lambda.