Show HN: Typical is TypeScript with type-safety at runtime

Spent a week in the break building a pre-compiler that brings type safety to runtime. Still pretty early, but generally does what it says.

Looking for feedback, code that breaks it (check out the playground), ideas etc.