We introduce immutability functionality for mixed forms in view of #30261.

Depends on #30272

CC: @egourgoulhon @mkoeppe @tscrim

Component: manifolds

Author: Michael Jung

Branch/Commit: f3a32af

Reviewer: Travis Scrimshaw

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