I think Python got this right, where "x is y" is identity (not often used but still concise) and "x == y" is value equality (a method you can override).