nomnoml: UI and bugfixes