Outlining the typing rules of statements