Extensions to the visualizers and layouts to streamline model traversal and editing. Includes updates to the build infrastructure, and the code editing infrastructure. Most importantly handles pointer and set management, while enforcing correct-by-construction semantics.