Deprecate `symbol` and `klabel` #6190

Job	Run time
Java: Linting	1m 35s
Pyk: Code Quality & Unit Tests (3.10)	1m 29s
Pyk: Code Quality & Unit Tests (3.11)	1m 16s
Pyk: Code Quality & Unit Tests (3.12)	1m 30s
Code Quality Checks	1s
Pyk: Nix Build (ubuntu-latest)	39s
K: Ubuntu Jammy Frontend Package	5m 40s
Pyk: Nix Build (macos-14)	1m 24s
K: Source Build & Test	17m 19s
K: Ubuntu Jammy Package	21m 9s
K: Nix Build & Test (self-hosted, linux, normal)	5m 6s
K: Nix Build & Test (MacM1, self-macos-12)	24m 0s
Pyk: Regression Tests	17m 9s
Pyk: Integration Tests	22m 9s
Pyk: Profiling	4m 4s
K: Profiling	11m 4s
Pyk: Documentation	3m 53s
	2h 19m 27s

Provide feedback