added expand_listf to interactively work on a list of subgoals