[pragmatic]

"And you blow up the already complex / almost unreadable code with type definitions."

I don't thing your problem is Typescript.