implemeted TrieZipper.down