BVAL-370 Add cross-parameter descriptor and element
BVAL-370 Make ExecutableDescriptor return no constraint (directly)