Update rules tab for sketch editor

[daemontus]

This is similar to our current "model editor" tab. Here, the user can declare new uninterpreted functions and parameters as well as specify update functions for variables.

Generally, various "quality of life" improvements are expected here, such as syntax highlighting, ability to specify monotonicity/essentiality for uninterpreted function inputs, etc.

[ondrej33]

This was mainly implemented via #27 and #28. There are still some details to be resolved, such as:

• more straightforward parsing of Boolean expressions (for now, lib-param-bn is used, making the whole thing slightly impractical)
• automatic checking for static properties of update functions (like in aeon) would be nice
• the ability to "collapse" uninterpreted functions could be useful