Reviewing the typing rules of expressions