Update and rename IntType.java to IntDTYPE.java