semantic: Correctly check that a homogenous variadic array has been passed.