Lambda lambda(Map<String, Sort> args, Expr body) => Lambda(args.map((key, value) => MapEntry(Sym(key), value)), body).declare();