Diagrams: Tropes, Tools, Abstract Machines