types+grammar: ch4 more on < operator weirdness