(let ((var id typeId exp) (var id typeId exp) (var id typeId exp) (var id typeId exp)) ())