A declarative terminal user interface library