Domain-specific programming language for declaratively creating web browser-based graphical user interfaces