TODO: * Make sure GuiHaskell cleans up after itself. e.g. terminating interpreters * More documentation. * Hyperlinked output. * PropLang ComboBox needs some love. * Multiple windows/dialogs in PropLang is awkward.