Ciao, sono Gabriele e mi piacciono i tipi. Quindi vorrei più tipi. Magari nuovi tipi. (tl; dr, cosa sono i newtypes in TS/Flow e perché sono belli e utili)