Dsl spec interfaces

no such thing, interfaces are "declared" withing types or instances (as mentioned above)