types+grammar: explaining in ch1 why types matter (for coercion), closes #169