It should be possible to change the type of an object or morphism without deleting it and recreating it, e.g., changing a link from positive to negative or changing an object from an entity to attribute type.

A nice interaction would be to click the object/morphism type on the right margin of the cell and get a popup menu with types that it can be changed to.