types+grammar: oops, #104 turned out to be incorrect, so killing that section of text