types+grammar: tweaks/clarifications to tilde operator discussion in ch4, closes #170