Function field_comp

XXX(constr_opt) see TODO file - only need to expand to MIN of two bit-lengths if done right XXX(constr_opt) do this using subtraction instead?

(a: Term, b: Term, op: BvBinPred)