Minor changes in the syntax used in the typing rules of the expressions