TODO

   1 'let :=' for immediate evaluation in assignment.
   2
   3 Default parameters, ie:
   4   goal foo (name, release = true) = ...
   5 You might only allow defaults to be added to the end, or you
   6 might allow goals to be called with labelled parameters.