Better incomplete product (type) error

[HugoMendes98]

It currently returns a "possibly unusable and impossible" type to rise error at compilation time.
However, something like ts-pattern exhaustive would be great.
It really fails at compilation (when the current implementation returns another type) and it also give some information about the non-exhaustive patterns.

The objectifs are:

• Make it fail at compilation.
  • The developer must volontary add a ts-error
• With or without the previous task, inform in a way of the missings elements from the pattern.