Use free variable bounds to add fixed bounds for instance variables to logic circuits

[morganthomas]

This will allow for further optimization of circuit size by reducing the byte decomposition lengths for the instance tables.

[morganthomas]

On further thought, we can already do this, by inferring bounds for instance variables based on the types.