semantic: Copy arguments to buildNewSmart.
semantic: Move homogenousVariadics to CallableType.