Finite-field specification

Arithmetic in a prime field, whose modulus is the sort's index.