Added fixity declarations for member, notMember, union, and intersection.