Is this more like a programming language, or more like a specification system akin to UML?