Def direct_sum.submodule_is_internal.subordinate_orthonormal_basis

refactor(algebra/direct_sum/basic): use the new polymorphic subobject API (#14341) …

feat(analysis/inner_product_space/projection): orthonormal basis subordinate to an `orthogonal_family` (#10208) …