Symbol: add_type