PoC: Getting `Any`, `Text` & numbers closure down to 35 modules#12819

Draft

JaroslavTulach wants to merge 5 commits intodevelopfrom

wip/jtulach/ProofPrelude8852

Commits on Apr 10, 2025

Getting the Standard.Base.Any.Any closure to 35 modules
JaroslavTulach
committed

Commits on Apr 11, 2025

TransitiveInfra tests to control the closure of individual type imports
JaroslavTulach
committed

Commits on May 21, 2025