Possibly make

	 b*f

where b is an element in an R-algebra S and f is a map M <-- N of *free* R-modules, be realized as
a map

  	M**S <-- N**S

See the exchange on the google group about this.
   	