Spec's definition of equality is wrong

[sparkprime]

The spec curtly says == is defined by converting to JSON and doing string comparison. But this is only partially true, because if the values being compared contain functions, conversion to JSON will fail. The actual algorithm first checks if the types of the two values being compared are the same, before recursing. So there needs to be proper operational semantics rules for ==.