Add class `KoreDefn` #7139

Job	Run time
Java: Linting	1m 18s
Java: Linting	1m 18s
Pyk: Code Quality & Unit Tests (3.10)	1m 22s
Pyk: Code Quality & Unit Tests (3.10)	1m 22s
Pyk: Code Quality & Unit Tests (3.11)	1m 19s
Pyk: Code Quality & Unit Tests (3.11)	1m 19s
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 9s
Pyk: Code Quality & Unit Tests (3.13)	2m 9s
Code Quality Checks	1s
Code Quality Checks	1s
K: Source Build & Test	32m 34s
K: Source Build & Test	32m 34s
Pyk: Nix Build (ubuntu-latest)	57s
Pyk: Nix Build (ubuntu-latest)	57s
K: Ubuntu Jammy Frontend Package	20m 2s
K: Ubuntu Jammy Frontend Package	20m 2s
Pyk: Nix Build (macos-14)	1m 38s
Pyk: Nix Build (macos-14)	1m 38s
K: Nix Build & Test (self-hosted, linux, normal)	4m 51s
K: Nix Build & Test (self-hosted, linux, normal)	4m 51s
K: Ubuntu Jammy Package	36m 45s
K: Ubuntu Jammy Package	36m 45s
K: Nix Build & Test (MacM1, self-macos-12)	28m 16s
K: Nix Build & Test (MacM1, self-macos-12)	28m 16s
Pyk: Profiling	3m 15s
Pyk: Profiling	3m 15s
Pyk: Integration Tests	14m 38s
Pyk: Integration Tests	14m 38s
Pyk: Regression Tests	9m 26s
Pyk: Regression Tests	18m 21s
Pyk: Documentation	4m 4s
Pyk: Documentation	4m 4s
	5h 36m 45s

Provide feedback