Base change and Iwasawa Main Conjectures for GL₂ | Synapse