types+grammar: clarifying some wording around the crazy corner cases