Make typecheck and typecheck-args the same order of arguments

typecheck-args is used only in few places, but both functions should have the same API.

Here is example usage:

```scheme
(typecheck "some" fn "function")
(typecheck-args (vector "pair" "nil") "some" lists)
```

typecheck-args is used with curry:

```scheme
(define numbers? (curry typecheck-args "number"))
```

That's why the first argument is type, so you can provide label and argument when calling `numbers?`

typecheck should be modified to have the same API.

Locate the definitions and usages of typecheck and typecheck-args, then compare them with the Scheme examples in the issue. Done means both functions expose the same argument order while the curry-based typecheck-args usage remains supported.

Written by the indexing model from the issue text.