Improving the outline of the typing rules of statements