* Fixed a technical issue where traces of deleted objects could still remain in the database.
* Fixed an issue where the navigation bar sometimes contains invalid content.
* Fixed an UI issue where the list of possible types for new objects were unsorted.