Coeffect Kind inferrence

https://github.com/granule-project/granule/blob/main/frontend/tests/cases/positive/indexed/infer-kinds.gr

```
Checking frontend/tests/cases/positive/indexed/infer-kinds.gr...
Type checking failed: frontend/tests/cases/positive/indexed/infer-kinds.gr:
Kind mismatch: frontend/tests/cases/positive/indexed/infer-kinds.gr:10:1:
Expected kind `Type 2` for type `Coeffect` but actual kind is `Type`
```