types+grammar: ch4, clarifying point about explicit coercion with < comparison