ATOMIC-FORMULA-P for all expressions.
-P style.
How to decide whether a move "is" atomic.
Wrong length.
More cleaning.