More intuitive semantics

Overview on Grover's Algorithm

Reduce & simplify code

Comparison to Q#

Safe automatic uncomputation

Discussion of Uncomputation