Move type arity checks to type_params_arity_check (1/2)