multi-parametric data type contraints fixes