Einen Type-Checker schreiben: Reconstructing TypeScript, part 1