Deprecate `symbol` and `klabel` #6180

Job	Run time
Java: Linting	1m 22s
Pyk: Code Quality & Unit Tests (3.10)	1m 24s
Pyk: Code Quality & Unit Tests (3.11)	1m 12s
Pyk: Code Quality & Unit Tests (3.12)	1m 24s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	4m 18s
K: Source Build & Test	15m 37s
K: Ubuntu Jammy Package	17m 7s
Pyk: Nix Build (ubuntu-latest)	37s
Pyk: Nix Build (macos-14)	1m 23s
K: Nix Build & Test (self-hosted, linux, normal)	7m 43s
K: Nix Build & Test (MacM1, self-macos-12)	17m 7s
Pyk: Integration Tests	12m 46s
Pyk: Documentation	4m 12s
Pyk: Profiling	3m 31s
K: Profiling	12m 42s
Pyk: Regression Tests	12m 39s
	1h 55m 5s

Provide feedback