property lisp hack



Somewhat related: The function simplifya assumes that the mplus operator is simplus. Maybe
there are additional explict references to simplus, simptimes, or simpexpt in the source code. For
experimentation, it would be fun to be able to (setf (get 'mplus 'operators) #'experimental-simplus)

--bw
________________________________