Hash-consed red-black treemap