types+grammar: ch4, clarifying some details around == unboxing, per #233