Proper updates of the instance

Multiple elements of the same name

Add/Modify/Delete type controls for instance elements

Support schemas with infinitely deep trees (schemas with transitive loops)