Adding free vars.
Adding quantified gates.