what do you think is the best naming for these? `setCurrentElementTo*` or maybe more oldschool like `previousTag` `nextTag` `pushTag` and `popTag`?