tests: More (disabled) tests from The Reasoned Schemer

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

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: Add an alias for twinsᵒ

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

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

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: Reimplement lotᵒ in terms of listofᵒ and twinsᵒ

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

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: More memberᵒ tests from The Reasoned Schemer

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

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

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