[bv-dev] Type use constraints for field *and* property