/* Test backward compatibility */

x : 5;
f : x -> x * 2;
g : x -> x + 1;

/* All these should work exactly as before */
result1 : x + 5;
..out result1;

result2 : f x;
..out result2;

result3 : f (g x);
..out result3;

result4 : -x;
..out result4;

result5 : not true;
..out result5;