Better support for 'value of X cannot be Y must be one of Z