Doc fixes. Use int64_t on all architectures. Factor out 'Referent' typedefs.