The # TODO markings are the things which a fully sound impl should do but which go beyond the old mongo store in soundness. (fixing inheritance to ex-descendants and new descendants, propagating inheritable new settings down to descendants)