Theoricly TypeChecker Ok