renaming module Heap to RelySet