An Extensional Mereology for Structured Entities