Add Prime_int.signed_width.
Prime_enum{set,map}: Rename card to cardinal.