[bv-dev] Value extraction open issue #7: Should type argument constraints trigger cascaded validation?