* Proof FIXED_FIXED_CONSTANT_POOL (#207) * wip(p838/843): Proof ENTRY_LEXICON #203 * wip(843/843: DONE): Proof ENTRY_LEXICON #203