Dsl spec interfaces

This is an operation definition structure (not Interface Definition)