arguments: f g >> f+g
Add f and g. [type f, type g] = [vector,vector], [freemodule,freemodule], [matrix,matrix], [monideal,monideal], [ringelem,ringelem]. The sum of two free modules is their direct sum.
