More tests for the cond macro.
More tests for the cond macro.

Tests for the or macro.

Tests for the and macro.

vtomole/SICL,clasp-developers/SICL,clasp-developers/SICL,clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,vtomole/SICL