Fix rewrite rules warnings

[wrengr]

On GHC 9.0.1, Cabal 3.4.0.0, we get the following warnings during build:

src/Data/Number/Transfinite.hs:198:1: warning: [-Winline-rule-shadowing]
    Rule "log/exp" may never fire
      because rule "Class op exp" for ‘exp’ might fire first
    Probable fix: add phase [n] or [~n] to the competing rule
    |
198 | "log/exp"  forall x. log (exp x) = x
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^