types+grammar: few minor clarifications around strings vs. arrays