If Type(x) is String, then return true if x and y are exactly the same sequence of characters (same length and same characters in corresponding positions). Otherwise, return false.
Но это про нестрогое, в строгом в спеке написано что чётко по значению