Sketch a TType replacement for all judgements

[saem]

Summary

• what changed and how?
• why are we changing it?

Details

• info that couldn't fit into the summary
• relevant details; tricky parts
• anything else

Fixes full_issue_url

---

Reminder for Saem:

• look at this message from zerbina about openArray: https://matrix.to/#/!MAXxvfCYnfYgZqSizw:matrix.org/$RiBbXhvlT9YU5oiSMCOWTT3R5rCYf5igogDbERnLg8Q?via=matrix.org&via=libera.chat&via=envs.net

Copied text:

proc identity(x: openArray[int]): openArray[int] = x

let a = identity([1, 2])
let b = identity(@[1, 2])

# both `a` and `b` are of the same type, e.g. `openArray[int]`.
# the types have no knowledge about which sequence-like type
# they are "viewing" into. That is, it is not possible (nor should it be)
# to deduce that the type of the underlying storage container was a
#`seq` by just looking at the type of `b`