move and generalize an instance (#1405)