allow for Atoms in arg tests

This allows tests which produce an atom from their input, e.g. And(2, 3) -> 1
update Boolean docstrings