Increment resolved in typing for def, method, classs