Rectifies the negated equality symbol in `Data.Rational.Unnormalised.*`#2118

MatthewDaggitt merged 5 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue2114jamesmckinna/agda-stdlib:issue2114Copy head branch name to clipboard