Bug: Correctly typing and initialising `prior_loops_cache` #6933

Job	Run time
Pyk: Code Quality & Unit Tests (3.10)	1m 30s
Java: Linting	1m 18s
Pyk: Code Quality & Unit Tests (3.11)	1m 19s
Pyk: Code Quality & Unit Tests (3.12)	1m 20s
Code Quality Checks	1s
Pyk: Nix Build (ubuntu-latest)	46s
K: Source Build & Test	25m 37s
K: Nix Build & Test (self-hosted, linux, normal)	3m 54s
K: Ubuntu Jammy Frontend Package	4m 47s
Pyk: Nix Build (macos-14)	1m 30s
K: Nix Build & Test (MacM1, self-macos-12)	25m 32s
K: Ubuntu Jammy Package	13m 51s
Pyk: Regression Tests	18m 8s
Pyk: Profiling	3m 15s
Pyk: Integration Tests	13m 17s
Pyk: Documentation	3m 42s
	1h 59m 47s

Provide feedback