Enable type checker
Revert