types+grammar: ch5, explaining eval(..) and proposed do { .. } expressions for capturing statement completion values