Double negation negneg supported in toimplx.mac.
Experimental kill_qepcad() is implemented. Only works on Mac OS X.
Translation of logical operators %and and %or in maxima to
andx and orx in toimplx is written to support arbitary number
of arguments for %and and %or.