Added TypeChecker
add