Here are Marc's notes on the changes:
The sample implementation is now compatible with Schemes where literal identifiers in syntax-rules are lexically scoped (that is, an identifier pattern is a literal identifier if and only if it is bound-identifier=? to a literal appearing in the list of literals).
Regards,M srfi/147.scm (38)M srfi/147.sld (25)