[PD] simple dynamic instancing and connection of abstractions