Expose type checker
1.0.2