types+grammar: appendixA, fixing code typo, per @qgustavor