Add s64 type to types.h.