Archibasílica de San Juan de Letrán: Techo