KeyEncoder.php Classes KeyEncoderEqual keys exactly when ComparableValues::equality() holds; every value is type-tagged.