The constructs in this section are hygienic, as discussed in section Macros. For reference purposes, section Derived expression type gives macro definitions that will convert most of the constructs described in this section into the primitive constructs described in the previous section.