5.0.9 `base_replace'
--------------------

base_replace(S,RULE)
     :  It rewrites S by using the rule RULE
Example:
      base_replace(x^2+y^2,[[x,a+1],[y,b]]);
    x is replaced by a+1 and y is replaced by b in  x^2+y^2.

