[EPIC] Proof reconstruction module for Core Basic Types

Implement Proof Reconstruction for the arithmetic and logic types that follow the same pattern already used for Nat.

Acceptance Criteria:

- Proof reconstruction implemented for all core arithmetic and logic types.
- Lean-blaster updated with arithmetic, relational, Boolean, propositional, Decide/DecideBoolBinary rules, and hardened Eq coverage, with all tests passing.

Particulars:

- Int arithmetic and relational rules
- Bool binary operations
- Prop connectives (and, or, and the binary rules)
- Decide and DecideBoolBinary rules
- Hardening of the existing Eq coverage