Better tracked_context for lambdas

Author: mbouaziz

skiplang/compiler/src/skipTyping.sk

@@ -5322,15 +5322,17 @@ fun lambda(
     ) {
       throw TUtils.Delay()
     } else {
-      (_, lam_tracking) = ml;
-      lam_is_untracked =
-        lam_tracking.size() == 1 &&
-        lam_tracking[0] is N.Funtracked();
+      (_lam_purity, lam_tracking) = ml;
+      lam_tracked_context = if (lam_tracking.size() >= 1) {
+        lam_tracking.any(tracking ~> tracking is N.Ftracked())
+      } else {
+        env.tracked_context
+      };
       !env = env with {
         break_type => None(),
         frozen_level => lam.lam_frozen_level,
         locals => lam_locals,
-        tracked_context => if (lam_is_untracked) false else env.tracked_context,
+        tracked_context => lam_tracked_context,
       };
       !env = setReturnType(context, next_id, env, acc, rty, lam.yields);
       ordered_args = args.map(t ->