ooh, also maybe distinguish a list of any length from a list of a specific length, because for example, wrap on the last value has return type [any] while uniquified has return type [any] despite wrap returning a fixed-length array and uniquified returning a variable length array
3rd thing, Ṡ should be described as a range to keep everything consistent and to make it easier to find
@math If you want to use a for loop, you could use ∞(n,. n is the default variable that a for loop uses. If you define your own variable, like a, then you have to use normal variable syntax, such as ∞(a|←a,). In your code, a is acting as the any command.
@math HN is right that map would be shorter, but mapping a print over generators doesn't work to well right now, so it becomes a bit of a mess: Try it Online!