Symbol: attach_type_to_prog_type