Added fixity declarations for member, notMember, union, and intersection.
Fixed syntax of fixity declarations.