Our runnable code snippets translate TS to JS and execute it, but dont actually run any kind of type checking. Turns out this is hard.