(quote +,Module,Module)
M + N
-- the sum of two submodules.
The two modules should be submodules of the same module.
