updated type judgments and  typing rules (letnull, ifnull, T-program, .... )