Type revision