## 4 Expressions

Expression types are categorized as primitive or derived. Primitive expression types include variables and procedure calls. Derived expression types are not semantically primitive, but can instead be defined as macros. With the exception of ‘`quasiquote`’, whose macro definition is complex, the derived expressions are classified as library features. Suitable definitions are given in section Derived expression type.