後から実装を差し替えることはできないということですね。tagged型についてはOKです。2012の変更で一度はOKになっていたものが再度禁止されました。私が思っていたのと同じようなことを委員会の方々も思っていたようで議論が再燃しました。メーリングリストでは中止派が圧倒的多数でしたが、ミーティング参加者による投票の結果現状維持つまりドラフト入りしたままとなりました。一度ドラフト入りしたものを覆すのは難しいようです。次回は6月に実際にスペインで行われるようです。