Typed objects and the meaning of identification

The lemma will distinguish a scalar value from the lapse depending on its gradient, and a geometric schedule from a lapse requiring additional matter data. It is an elementary criterion, not a transfer of a companion theorem.