Fix reflection warnings, refactor slightly
Add a generic phase gate.

This will be necessary for bell equality examples
Add bell equality violation example
Add reference to examples in README