Cleaning and precising types