Revised up through type propagation