Add section for Proof and Inference to values-types-functors post draft.