Deprecated instances about order structures.

@[deprecated]

instance isStrictTotalOrder_of_linearOrder {α : Type u_1} [LinearOrder α] : IsStrictTotalOrder α fun (x1 x2 : α) => x1 < x2