Implement make-like “origin” function. This is easy but it requires
us to track to the origin of definitions which we do not do at
-the moment.
\ No newline at end of file
+the moment.
+
+Some kind of “source” directive. If goals sees this then
+it automatically sources the parameter (a shell script) into
+every shell command.
+
+Allow code sections to be written in other languages, eg OCaml,
+Python, etc. The syntax might look like:
+ {#!OCAML
+ ocaml code
+ }
+Also provide better integration, so we can accurately pass predicate
+constructors into these other language sections.
+
+Limit parallelism within the Goalfile (like make's .NOPARALLEL),
+something like ‘let max_jobs = 8’
+
+Hash table structure.