Add class `KoreDefn` #7149

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

Provide feedback