
1. Cleaned up some small bugs and inefficiencies.
2. Implemented :lambda to support setof.
3. Added hook so that user can supply a function to be used
to decide which assumption to drop in ambiguous cases (see acontra.lisp).


Files affected:

amatch.lisp
acontra.lisp
aassump.lisp
aprep.lisp
alogic.lisp

help/forms.txt
help/syntax.txt

