I added more properties of cofinite funcoids to this draft.