Localized notation is not scoped in binport

[gebner]

For example the unit interval I is global notation in the binport. This breaks the variable declaration (I : ModelWithCorners 𝕜 E H) in Geometry.Manifold.Mfderiv.