Imports
Section 6.1 - Heaps (legacy compatibility path)
Third-edition-numbered compatibility path for heaps. The canonical
fourth-edition source is
CLRSLean.FourthEdition.Chapter_06.Section_06_1_Heaps;
this module forwards to it so legacy imports keep working during the
compatibility period (see docs/migrations/clrs4.md).