Describir: A Diagrammatic Algebra for Program Logics