Extending Types Preserving Diagrams | Synapse