Better typing for truncate instruction.