so this is what i am thinking: similar to the

expand_single

in

fs

, we'll use an iterative method that takes in

ST

and expands to the list of `ST`s