TODO

   1 'let :=' for immediate evaluation in assignment.  Does this work
   2 for included files?
   3
   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.
   8
   9 Functions, eg. wildcard("*.c").  These should be defined as shell
  10 scripts with a selection of common functions defined in stdlib.