Text this: Operational Semantics in a Domain-Specific Robot Control Language