Make it possible to copy&paste states from an error trace into the spec.

tla/Traceccfraft.cfg

@@ -37,9 +37,9 @@ CONSTANTS
     AppendEntriesResponse = AppendEntriesResponse
     NotifyCommitMessage = NotifyCommitMessage
 
-    TypeEntry = Entry
-    TypeSignature = Signature
-    TypeReconfiguration = Reconfiguration
+    TypeEntry = TypeEntry
+    TypeSignature = TypeSignature
+    TypeReconfiguration = TypeReconfiguration
 
     \* state.h my_node_id is a string.
     NodeOne = "0"