Function mk_let 

pub fn mk_let(name: Name, ty: Expr, val: Expr, body: Expr) -> Expr

Build a let-binding let x : ty := val in body.