more on tc/infer; checkpointing before merging with ocaml backend
merging with ocaml backend
syntactic fixes to maintain bootstrapping fragment