Function mk_lam 

pub fn mk_lam(name: Name, dom: Expr, body: Expr) -> Expr

Convenience: make a lambda fun x : dom => body.