Symbol: declare_abstract_type