add support for hadamard gate in Red-Green theory