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

Job	Run time
Java: Linting	1m 14s
Pyk: Code Quality & Unit Tests (3.10)	1m 26s
Pyk: Code Quality & Unit Tests (3.11)	1m 17s
Pyk: Code Quality & Unit Tests (3.12)	1m 20s
Pyk: Code Quality & Unit Tests (3.13)	2m 11s
Code Quality Checks	1s
K: Source Build & Test	17m 34s
K: Ubuntu Jammy Frontend Package	4m 29s
Pyk: Nix Build (ubuntu-24.04)	49s
K: Nix Build & Test (self-hosted, linux, normal)	4m 21s
Pyk: Nix Build (macos-14)	1m 28s
K: Ubuntu Jammy Package	22m 20s
K: Nix Build & Test (MacM1, self-macos-12)	29m 30s
Pyk: Profiling	2m 55s
Pyk: Regression Tests	18m 3s
Pyk: Integration Tests	13m 23s
Pyk: Documentation	3m 55s
	2h 6m 16s

Provide feedback