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

[xperiandri]

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