Yes, we could have explained this more! (Joran from TigerBeetle here)

The motivation is to preserve information, and I think this becomes less confusing once you understand that accounting is in fact a type system.

I hope this comment makes this more clear: https://news.ycombinator.com/item?id=37571942