* Proof FIXED_FIXED_CONSTANT_POOL (#207) * wip(p272/284): Proof PINBALL_NOUN_TABLES #242 * done(p284/284): Proof PINBALL_NOUN_TABLES #242