TypeChecker and Semantic Update