feat: create IP module

We should have an Interactive Proof (IP) module for IPs other than sumcheck (e.g., zero check). We could also have IOPs placed in here too (e.g., Spartan).

Wording could maybe be adjusted slightly here, but we should organize around this to an extent.