Use a history to make grnxx::map::Patricia::add() fast.