yet another TODO
Produce empty tuple if message task succeeds to indicate success (empty list is treated as failure).
Allow tasks to be a source of tasks (preparation for higher order tasks).
added interface for reflexive and transitive relations
revert error message processing, since this can already be done with a
strategy parameter
Fix wrong transitive lookup creation.
Merge branch 'master' into lib-compilation