types+grammar: ch5, adding sections on statments vs expressions, statement completion values, and expression side-effects, closes #48, closes #159