declare HasName instances for modular arithmetic classes.