.gitignore: Ignore /.noseids

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
tests: Fix an erroneous neverᵒ goal in the test suite

The test for frame 6.28 of The Reasoned Schemre mistakenly had
a (neverᵒ) call instead of a bare neverᵒ.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
adderall.dsl: Convert condᵉ to a monad

To make things easier in the future, use monaxhyd to convert condᵉ to a
monad.

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