Runtime validation for TypeScript type expressions - View it on GitHub