More strict error checking in hex-digit escape reader
Fix symbol writer to conform hex-digit escape syntax