Equational properties of iteration in algebraically complete categories