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.

This change also avoids highlighting predicates like is_list/1 as if the
leading "is" were an operator.  It's not one in that context.