Scheme Request for Implementation 137, "Minimal Unique Types," by John Cowan and Marc Nieper-Wißkirchen, has gone into "final" status.