types+grammar: adding 'try..finally' discussion to ch5, closes #268