Set `simpl never` for `Pos` and `N`.

Previously, we set simpl never for just Pos.mul and N.add. That's pretty inconsistent and annoying. For example:

Eval simpl in (2 + x)%positive.
(*
     = match x with
       | q~1 => match q with
                | q0~1 => (Pos.succ q0)~0
                | q0~0 => q0~1
                | 1 => 2
                end~1
       | q~0 => match q with
                | q0~1 => (Pos.succ q0)~0
                | q0~0 => q0~1
                | 1 => 2
                end~0
       | 1 => 3
       end
     : positive
*)

I copied the list of simpl never declarations for Z and removed the operations (e.g., opp) that are not available for N or Pos.

added 1 commit

• 21bc4cba - CHANGELOG.

Compare with previous version

changed the description

LGTM! Feel free to merge after resolving conflicts.

added 8 commits

• 21bc4cba...2febd0b9 - 6 commits from branch master
• ef6186da - Add `simpl never` for `Pos` and `N`.
• 827bc7fa - CHANGELOG.

Compare with previous version

@iris-users

• Set simpl never for Pos and N operations (similar to Z).

enabled an automatic merge when the pipeline for 827bc7fa succeeds

aborted the automatic merge because source branch was updated

added 10 commits

• 827bc7fa...47d252f5 - 8 commits from branch master
• ae8c9665 - Add `simpl never` for `Pos` and `N`.
• 82da9f06 - CHANGELOG.

Compare with previous version

enabled an automatic merge when the pipeline for 82da9f06 succeeds

merged

mentioned in commit 2f90d657