+
+Implement make-like “eval” function (similar to include directive,
+but it evaluates the output of a function as Goalfile syntax).
+
+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