Rename preorder reasoning syntax

[MatthewDaggitt]

#2099 didn't change the name of the reasoning combinators in Relation.Binary.Reasoning.Preorder

[jamesmckinna]

I see you've self-assigned; probably quicker if you do it, but let me know if you'd rather someone else... but not entirely clear how it interacts/would interact with your design for #2146 ?

[MatthewDaggitt]

but not entirely clear how it interacts/would interact with your design for #2146 ?

Will fix this issue once the redesign has been merged in.

[MatthewDaggitt]

Also missed was Preorder.∼-respˡ-≈ and friends.

[jamesmckinna]

Did you ever figure out an asnwer to my query about (failure of the) deprecation warning #2099 (comment) in Relation.Unary.Closure.Preorder?

[MatthewDaggitt]

Ah sorry, missed that comment. Yes it's an instance of agda/agda#5617

[jamesmckinna]

Still, annoying-but-still-safe is an OK status quo, for the time being at least.