/* Integration Test: Pattern Matching */
/* Combines: case expressions, functions, recursion, complex patterns */

..out "=== Integration Test: Pattern Matching ===";

/* Recursive factorial with case expressions */
factorial : n -> 
  when n is
    0 then 1
    _ then n * (factorial (n - 1));

..out "factorial function created successfully";