Heaps.PolyHeapSig