[modarith] Add a modarith type to describe storage type & modulus

[asraa]

This would remove the mod arith op attributes tracking the modulus.

We realized this would be a nice "type" to have to describe the coefficient type of a ring. In the case of working with $$\mathbb{Z}_q$$, the coefficient type would be a modarith type like modarith<type = i32, modulus = q>. RNS types would be a list of modarith types.

See the type refactor here: #1083

[github-actions]

Note

Re-commenting because this issue was closed with unresolved TODOs.

This issue has 1 outstanding TODOs:

• lib/Dialect/ModArith/IR/ModArithOps.td:171: migrate barrett/subifge to mod arith type

This comment was autogenerated by todo-backlinks

[github-actions]

Note

Re-commenting because this issue was closed with unresolved TODOs.

This issue has 1 outstanding TODOs:

• lib/Dialect/ModArith/IR/ModArithOps.td:171: migrate barrett/subifge to mod arith type

This comment was autogenerated by todo-backlinks

[j2kun]

Reopening for the remaining TODO