Add TypeChecker, not yet working