Safe Mutable Soft Heaps, implemented as described in SOFT HEAPS SIMPLIFIED by HAIM KAPLAN, ROBERT E. TARJAN, AND URI ZWICK, tracks corrutpion rate using phantom parameters. Phantom types prevent melding Soft Heaps of different corruption rates.
See TODO.md