The link to the UniqueTypesSnellPym proposal in the rationale section is broken. The link to the archive of that WG1 wiki page is <https://small.r7rs.org/wiki/UniqueTypesSnellPym/>