Rework GADT index types to get Lin compiling on trunk again#560

jmid merged 2 commits into

mainocaml-multicore/multicoretests:mainfrom

restore-trunk-buildocaml-multicore/multicoretests:restore-trunk-buildCopy head branch name to clipboard