Remove trailing whitespace.
Prefer .. to -> in Java interop.
Prefer condp to cond in certain cases.
Prefer case to cond/condp in certain cases.
Use a set as a predicate when appropriate.
Use inc & dec instead of + & -.
Minor tips.