[REPO] Added Type Checker.