Symbol: append_typeinfo