[josh11b]

That is correct. Strings and I/O both have a bunch of work to be done. Printing currently requires workarounds like https://godbolt.org/z/MP4164f7s

[josh11b]

Array iteration got checked into the prelude so this is now shorter: https://godbolt.org/z/YYheo19ea