Check number of type arguments

[yhara]

Given

Enumerable.zip<Int>([1,2], [3,4])

Expected

Some error message from the compiler

Actual

thread 'main' panicked at 'index out of bounds: the len is 1 but the index is 1', lib/shiika_core/src/ty/term_ty.rs:271:25