> I think it is fine to remove the expander for the `(x)' case for `-'
> and `/', but not for the predicates.  Thoughts?

LGTM, but I'm not qualified to really have a say :-)


    Werner



Reply via email to