Add uninterpreted `Map` implementation to `Prelude.lean` #7216

Job	Run time
Java: Linting	1m 17s
Java: Linting	1m 17s
Pyk: Code Quality & Unit Tests (3.10)	1m 26s
Pyk: Code Quality & Unit Tests (3.10)	1m 26s
Pyk: Code Quality & Unit Tests (3.11)	1m 16s
Pyk: Code Quality & Unit Tests (3.11)	1m 16s
Pyk: Code Quality & Unit Tests (3.12)	1m 20s
Pyk: Code Quality & Unit Tests (3.12)	1m 20s
Pyk: Code Quality & Unit Tests (3.13)	2m 5s
Pyk: Code Quality & Unit Tests (3.13)	2m 5s
Code Quality Checks	1s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	5m 12s
K: Ubuntu Jammy Frontend Package	5m 12s
Pyk: Nix Build (ubuntu-24.04)	47s
Pyk: Nix Build (ubuntu-24.04)	47s
K: Source Build & Test	13m 36s
K: Source Build & Test	13m 36s
Pyk: Nix Build (macos-14)	1m 46s
Pyk: Nix Build (macos-14)	1m 46s
K: Ubuntu Jammy Package	41m 4s
K: Ubuntu Jammy Package	41m 4s
K: Nix Build & Test (self-hosted, linux, normal)	5m 52s
K: Nix Build & Test (self-hosted, linux, normal)	4m 15s
K: Nix Build & Test (MacM1, self-macos-12)	24m 48s
K: Nix Build & Test (MacM1, self-macos-12)	24m 48s
Pyk: Profiling	3m 59s
Pyk: Profiling	3m 59s
Pyk: Documentation	4m 0s
Pyk: Documentation	4m 0s
Pyk: Regression Tests	18m 6s
Pyk: Regression Tests	18m 6s
Pyk: Integration Tests	23m 32s
Pyk: Integration Tests	23m 32s
	4h 58m 37s

Provide feedback