Synopsis:
M + N -- the sum of two submodules.
The two modules should be submodules of the same module.