Explore TypeScript types, including `never` and `unknown`, as well as type assertions and type guards.