adderall.dsl: Allow any number of goals for eitherᵍ

Since we can interleave any number of goals, don't restrict eitherᵍ to
two goals at a time.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: Add an allᵍ goal

The allᵍ goal succeeds if all child goals succeed.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: Simplify run

Instead of taking an optional n argument, make run return all the
results. We will have a separate function for limiting the set later.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: Rename run to run*

Also add an alias for it: run_all, for Python.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: Allow run* with many goals

If run* receives more than one goal, make them all mandatory, by
wrapping them in an allᵍ.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>