Hi, I was wondering if there is a way to constrain the type of the embedded expressions? E.g. "for DSL Foo the embedded expressions should all be of some type of a sealed hierarchy of Node types".