types+grammar: adding 'implicitly: booleans to numbers' section to ch4