Package org.eclipse.xsemantics.dsl.typing.validation