perf: store per-module constant prefix trees in oleans#14362

Kha wants to merge 21 commits into

masterleanprover/lean4:masterfrom

olean-const-trieleanprover/lean4:olean-const-trieCopy head branch name to clipboard