Fixing some typos in domains.md #7813

Job	Run time
Java: Linting	1m 42s
Pyk: Code Quality & Unit Tests (3.12)	1m 7s
Pyk: Code Quality & Unit Tests (3.13)	1m 9s
Pyk: Code Quality & Unit Tests (3.11)	1m 7s
Pyk: Code Quality & Unit Tests (3.14)	2m 12s
Pyk: Code Quality & Unit Tests (3.10)	1m 11s
Code Quality Checks	4s
K: Nix Build & Test (self-hosted, linux, normal)	4m 52s
K: macOS Build & Test	35m 23s
K: Ubuntu Jammy Frontend Package	21m 30s
K: Ubuntu Jammy Package	46m 20s
Pyk: Nix Build (ubuntu-24.04)	2m 49s
Pyk: Nix Build (macos-14)	4m 2s
K: Source Build & Test	44m 18s
K: Nix Build & Test (MacM1, self-macos-12)	27m 13s
Pyk: Regression Tests	16m 41s
Pyk: Profiling	3m 31s
Pyk: Integration Tests	23m 34s
Pyk: Documentation	3m 9s
	4h 1m 54s

Provide feedback