Most of these changes can be implemented using syntax-rules. The define-aliasform can be implemented withidentifier-syntax. The ability to mix definitions and expressions in bodies requires changes to the expander.