jba
The signatures of the builtins `index`, `slice`, `len` and the comparison functions hide some constraints on their argument types. For instance `index`'s first arg must be indexable,`len`'s arg must be something you can take the length of, and so on. Implement more strict checks.