code for unevaluated Boolean and conditional expressions



> What's the story for translated functions?

Sorry, Barton, this is a shortcoming of boolsimp.lisp --
it doesn't handle translated functions. I made a half-hearted
attempt to deal with that, and gave up too soon.
I'll have to try again. For the record the code involved
is in src/trpred.lisp and src/acall.lisp.

Robert