mpairs and wpairs are instances of type pairings; mpref, wpref, mpriority, and wpriority instances of type preferences

pairings mpairs,wpairs;

preferences mpref,wpref,mpriority,wpriority;