TSTyche is a type testing tool for TypeScript that provides expect-style assertions and a test...