Language Design For Synthesizing Diagrams, Layouts, And Invariants