types+grammar: ch4 adding discussion of truthy/falsy, closes #55