/* Test function calls in case expressions */
add : x y -> x + y;
factorial : n -> case n of
    0 : 1
    _ : add n 1;

test : factorial 5;
..out test;