For reference purposes, section gives rewrite rules that will convert constructs described in this section into the primitive constructs described in the previous section.