Under-the-hood of type systems (e.g. TypeScript)