`H.Call<H.Strings.Length<string>>` is 1

Hi,

I wonder if is expected but when I do:

```typescript
import type * as H from "hotscript"

type a = H.Call<H.Strings.Length<string>>
```

`type a` is a literal `1`.

Would it be better to return `unknown` or `any` if the arg is not a literal?