Tuple type, type serialization