tweaked node bending
Structural sharing on restrictions
Made relabelling set immutable
fixes all actions being prefixed as complementary
Restructured activities
separates activity and rendering
extracted set methods ouf of graph
status area for explorer activity
Status area for editor
removes useless test data
fixed spelling error
Change gutter color
Added freeze button
freeze button
quick returns in equals
Update submodule
Change to horizontal nav + new color scheme
Resolve conflict
Explorer: Added BFS of graph
Merge branch 'master' into editor