Typing rule for let rec in GV.