The pure-Scala IR components of OptiCVX