Remove ∅ (empty set) and undefines ⊂ and ⊄

⊂ and ⊄ seem useful to have around for user-defined relations, but otoh it seems odd to define infix operators that are never used in Base.