types+grammar: ch4 correcting misstatements about == on two objects