Adicionando HeapADT e herdando-a