Cleaner datatype for stacks.
Inspired from [growing_lists], but more ad-hoc (and simple).