Creates a Directive with the given bodies goals, folded into a single Term via Tuple when there is more than one.
Creates a Directive template with length anonymous-variable goals.