types+grammar: copyedits from o'reilly