Fix equality combinator names in `Data.Rational.Unnormalised.Properties.≤-Reasoning`

[MatthewDaggitt]

Currently the combinators use ≈ instead of ≃

[JacquesCarette]

I don't know how to rename syntax declarations?

[jamesmckinna]

Ha! Is this an Agda issue, that syntax declarations have 'global' scope once imported/else are not Renamable like other imports... AFAICT, 'pattern' syntax isn't renamable either...?

[MatthewDaggitt]

Yes, it is an Agda problem, and it sucks.

See the last bullet in the v1.3 CHANGELOG for how we rename syntax.