#::

scala

+:

scala

:+

scala

::

scala

=/=

XtensionSemanticEquality

===

XtensionSemanticEquality