Cleanup names phase 5#690

Merged

leerho merged 7 commits intomainfrom

cleanup_names_phase_5

Oct 17, 2025

Commits on Oct 7, 2025

Change name of /theta/Sketch to /theta/ThetaSketch
leerho
committed

Commits on Oct 10, 2025

Commits on Oct 14, 2025

This set of changes completes the name changes for /theta/ and /tuple/.
leerho
committed

Commits on Oct 16, 2025