adderall.dsl: Implement listᵒ

This adds the listᵒ function. Tests for it are disabled now, due to
condᵉ being bugged (see #1).

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: Implement lolᵒ

This implements lolᵒ, but tests for it are disabled for similar reasons
than listᵒ's: condᵉ being broken (see #1).

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