On the Versatility of Open Logical Relations (cid:2) Continuity, Automatic Differentiation, and a Containment Theorem