Efficient and Complete FD-Solving for Extended Array Constraints