DSL for REST API specification, verification, and code generation.