Conditionals, loops and recursion
*********************************
Macros, expanding to plain text, perhaps with arguments, are not
quite enough. We would like to have macros expand to different things,
based on decisions taken at run-time. E.g., we need some kind of
conditionals. Also, we would like to have some kind of loop construct,
so we could do something a number of times, or while some condition is
true.