Write patches for all spec-deviations in prop271
The prop271 implementation I produced is not 100% conformant to the proposal, since in some cases I found gaps or things that the proposal didn't consider. Before we merge #19877 (moved), we should be sure that the spec is up-to-date too.