A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential (Logical Methods in Computer Science, 2024)