to take over the special case of linear differential forms from DiffFormFreeModule, as done in #34474/#30241 with FiniteRankDualFreeModule.

Depends on #30241
Depends on #34486

CC: @egourgoulhon

Component: manifolds

Author: Matthias Koeppe

Branch/Commit: 7c04959

Reviewer: Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/34501