Some additions and bugfixes in Feldspar.Vector.Opt. It's still not finished
but at least it type checks now.