equality for tokens (on terminals)