Grover's algorithm added as an example