More intuitive semantics

Overview on Grover's Algorithm

Reduce & simplify code

Comparison to Q#