CanTransform

Capability: a D at the focus of an already-built T can be transformed via D => B — the carrier-free surface of the transform extension (the generalised CanPlace).

Like CanPlace this capability has NO derived given — the extension requires T => F[X, D] evidence over the optic's existential X. Construct it explicitly: CanTransform.from(myLens). See CanGet for the doctrine and the coherence rule.