1 'let :=' for immediate evaluation in assignment. Does this work
4 Default parameters, ie:
5 goal foo (name, release = true) = ...
6 You might only allow defaults to be added to the end, or you
7 might allow goals to be called with labelled parameters.
9 Fix: You must use 'all ()' on the command line.
11 "Quiet" code. Generally {CODE} sections in user files should be
12 echos, and those in stdlib should run silently (except if debugging).
13 Maybe we should have a quiet keyword to indicate this?