Type propagation proposal