Generate binders for variables in definedness constraints #7252

Job	Run time
Java: Linting	1m 15s
Pyk: Code Quality & Unit Tests (3.10)	1m 28s
Pyk: Code Quality & Unit Tests (3.11)	1m 18s
Pyk: Code Quality & Unit Tests (3.12)	1m 23s
Pyk: Code Quality & Unit Tests (3.13)	2m 13s
Code Quality Checks	1s
Pyk: Nix Build (ubuntu-24.04)	1m 14s
K: Ubuntu Jammy Frontend Package	3m 19s
K: Nix Build & Test (self-hosted, linux, normal)	4m 45s
Pyk: Nix Build (macos-14)	3m 2s
K: Source Build & Test	13m 29s
K: Nix Build & Test (MacM1, self-macos-12)	25m 6s
K: Ubuntu Jammy Package	31m 9s
Pyk: Integration Tests	27m 6s
Pyk: Regression Tests	18m 21s
Pyk: Documentation	4m 13s
Pyk: Profiling	4m 3s
	2h 23m 25s

Provide feedback