Combining Expressions into More Complicated Ones

A key idea in computer science is to combine simple things to make more complicated ones. Expressions can be combined in all sorts of ways provided the types are right: For example:

 
(if (1>2) or not(2<3)
then 1
else 2) +17;

Gives:

 
>> 19 : num