How to deal with qubits when they are function/operation parameters

[jakezweifler]

When initializing a qubit using SUse or SUseS, we can add the qubit to the context. However, what should be done when elaborating function parameters? For reference, this decision needs to be made in the curry function on line 115 of Elab.ml.

[k4rtik]

I think while declaring the callable we may need to add the arguments to the context to be able to type check the body, but when we are done with the body, the local arguments/parameters will need to be removed from the context. This is similar to entering a smaller scope and exiting it.

@jakezweifler does that answer your question?