[WIP] Function chain

[OmmyZhang]

This is the beginning of the plan to rewrite program macro to the function chain.

The program macro seems not necessary, as rust's type system should work fine with the process of applying a gate / sub-circuit to some qubits.

I see that the plan of rewriting program macro was also mentioned in #39