* core/facts.mli: Remove. (was garbage)
* Facts: Annotate with some FIXMEs.