Well, I doubt there are that many native speakers here which will be shocked by bad English :) But if you gather all data mentioned (see also Kenji's comment), I can write DIP itself for you. Type system changes should be studied in smallest details as those have have very long term consequences and incredibly hard to replace with better solutions later.
That sounds good. Then I will try over the weekend to collect all the necessary data and post them here. Then you can take a quick look, whether you have enough information or if I need a little late filing.
