Using the define-property definition described in this SRFI, expand-time properties can be associated with identifiers in a referentially transparent and lexically scoped way.