Started work on ILPullQuant.v. It does not yet compile.