Объясните, что подразумевается под термином 'стирание типов' в языках программирования.