Reintern instances after deserialization.
Also intern revision strings, since there are typically only a few values in use.