Describe the bug

Indexing (x[0]) should be disallowed on parametric signedness values, but no error is thrown.

Consider this code using parametric signedness:

fn is_even<S: bool, N: u32>(x: xN[S][N]) -> bool { x[0] == u1:0 }`
let e = is_even(1:s8);

error:
xN[is_signed=1] vs uN[1]: Could not deduce type for binary operation '=='

To Reproduce

Create a DSLX file with code like the above and try to build it as a library. Build before using is_even then try to build after using it.

Expected behavior

There should be an error like this: sN[8] Value to index is not an array.