BVAL-499 affects the same area, but in wider scope. The idea there is to consider constraint definitions an extension to the type system and apply them whereever a given (constraint-annotated) type variable is used. BVL-202 would then just be a special case of BVAL-499.