TODO

   1 Now that we have 'onrun' handlers, can we do the following on goal
   2 exit:
   3
   4  - implicit memory_set via some sort of 'memoize' macro
   5
   6  - implicit check_target
   7
   8 Check and enforce there's only a single target per goal.
   9
  10 Multiple definitions of goals:
  11
  12   let goal file_exists filename when filename `starts_with` "/foo" ->
  13     ...
  14
  15   let goal file_exists filename when filename `starts_with` "/bar" ->
  16     ...
  17
  18   - Might be implemented something like this:
  19     add_goal (`File_exists, fun patt -> raise Matches, fun patt -> expr)
  20     then when we run goals, we check them against all patterns (how?)
  21     and only if one matches to we run that function.  Multi-matches are
  22     not permitted.