Add `arg_check_type()` to `types`

[yunline (云line)]

@Dutcho

in the latter case, typing.assert_type(val, typ, /) may serve your needs.

Thanks, that’s what I want.