/* Test simple composition */ f : x -> x * 2; g : x -> x + 1; /* Test basic composition */ result : f via g 5; ..out result;