Some coaccessibility proofs

[ScriptRaccoon]

This PR adds some of the missing (co-)accessibility proofs. (There are still many other cases missing.)

• $Set_f$ is not coaccessible
• $Set_{\neq \emptyset}$ is not coaccessible
• $Haus$ is not accessible (this has decided 6 properties at once)

---

• unknown (category, property)-pairs before this PR: 133
• unknown (category, property)-pairs before this PR: 125