Collection of TypeScript type challenges

This popped up on #lobsters today: Collection of TypeScript type challenges.