Nested lists in tlc-steps