Gravar-mail: On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem