checkpoint some more tinkering with new extraction plan
checkpoint some more tinkering with new extraction plan

although clement suggests that we really do try ocaml first

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl