Grounded Language Design for Lightweight Diagramming for Formal Methods