semisimple (simple + semi-; half_partial)
In which each submodule is a direct summand