toc: generating nested dfnlists