Что создаёт выражение squares = (x * x for x in xs)?

(x * x for x in xs) — это generator expression: он не вычисляет значения сразу, а возвращает объект-генератор, который выдаёт квадраты по одному при next() или цикле. Списочное включение использует квадратные скобки, а не круглые. Кортеж так не создаётся: для него нужен литерал (1, 2, 3) или вызов tuple(...). Функция-генератор — это конструкция с def и yield; здесь же нет определения функции, есть только готовый объект-генератор.