Tweak
format comment
One-line demo proof of ArraysAsList with literal initializer.
Marks repairs, from Sarah Schneider