Separate is and unify operators

These two operators have vastly different semantics.  Label them
differently so users can highlight their syntax differently, if they so
desire.