Remove `Atts.KLABEL` #6211

Job	Run time
Java: Linting	1m 23s
Pyk: Code Quality & Unit Tests (3.10)	1m 23s
Pyk: Code Quality & Unit Tests (3.11)	1m 14s
Pyk: Code Quality & Unit Tests (3.12)	1m 25s
Code Quality Checks	1s
K: Source Build & Test	26m 35s
K: Nix Build & Test (self-hosted, linux, normal)	4m 45s
Pyk: Nix Build (ubuntu-latest)	39s
K: Ubuntu Jammy Package	17m 17s
K: Nix Build & Test (MacM1, self-macos-12)	11s
Pyk: Nix Build (macos-14)	1m 25s
K: Ubuntu Jammy Frontend Package	4m 44s
Pyk: Integration Tests	24m 27s
Pyk: Documentation	4m 39s
Pyk: Profiling	3m 47s
Pyk: Regression Tests	17m 41s
K: Profiling	10m 53s
	2h 2m 29s

Provide feedback