Generate Lean 4 type definitions from a KORE definition #7168

Job	Run time
Pyk: Code Quality & Unit Tests (3.10)	1m 30s
Pyk: Code Quality & Unit Tests (3.10)	1m 30s
Java: Linting	1m 15s
Java: Linting	1m 15s
Pyk: Code Quality & Unit Tests (3.11)	1m 16s
Pyk: Code Quality & Unit Tests (3.11)	1m 16s
Pyk: Code Quality & Unit Tests (3.12)	1m 20s
Pyk: Code Quality & Unit Tests (3.12)	1m 20s
Pyk: Code Quality & Unit Tests (3.13)	2m 2s
Pyk: Code Quality & Unit Tests (3.13)	2m 2s
Code Quality Checks	1s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	18m 37s
K: Ubuntu Jammy Frontend Package	18m 37s
K: Nix Build & Test (self-hosted, linux, normal)	5m 46s
K: Nix Build & Test (self-hosted, linux, normal)	5m 46s
Pyk: Nix Build (ubuntu-latest)	52s
Pyk: Nix Build (ubuntu-latest)	52s
K: Source Build & Test	6m 22s
K: Source Build & Test	6m 22s
K: Nix Build & Test (MacM1, self-macos-12)	26m 10s
K: Nix Build & Test (MacM1, self-macos-12)	26m 10s
Pyk: Nix Build (macos-14)	1m 41s
Pyk: Nix Build (macos-14)	1m 41s
K: Ubuntu Jammy Package	17m 48s
K: Ubuntu Jammy Package	17m 48s
Pyk: Regression Tests	1m 28s
Pyk: Regression Tests	1m 28s
Pyk: Integration Tests	4m 15s
Pyk: Integration Tests	16m 20s
Pyk: Documentation	4m 59s
Pyk: Documentation	4m 59s
Pyk: Profiling	4m 30s
Pyk: Profiling	4m 30s
	3h 31m 49s

Provide feedback