Describir: Updating and structure in nonmonotonic theories