Move sage.structure.formal_sum to sage.modules #29870
Description
It imports Module and ModuleElement, so this is where it should go, leaving a deprecated reimport behind.
This is for #29865.
Depends on #29883
CC: @tscrim
Component: refactoring
Issue created by migration from https://trac.sagemath.org/ticket/29870