Type fixes for ATNSerializer.

Also removed two asserts that a member object was a not a null pointer
(which can’t happen unless we later change the type).