Support size and single-value constraints on some types.