Creates a Directive with the given bodies goals, folded into a single Term via Tuple when there is more than one.
if bodies is empty