`ListOf` and `Nullable` must not allow putting input types where output types expected and vice versa

### Description

If you wrap input type into `ListOf` or `Nullable` you can use it like an output type and vice versa which may produce wrong schema

### Expected behavior

Impossible to produce invalid schema at compile-time

### Actual behavior

Schema can be corrupted and it will be known only on its consumption