[Coq backend] Surjection without matching on int31 literal
Follow-up on !6 (closed)
Instead, we convert the int31 to Z, and perform pattenr matching in Z.
The reason for that change is that pattern-matching on int31 will disappear when native 63 bits integers will be introduced in Coq.