fix: Incorrect typing of vector operations (#175)

A problem was arising related to the typing of vector operations.
Specifically, it was being considered that e.g. a `binary` value added
to another `binary` value produced a `binary` value. This corrects those
problems, but there remain some mysteries around typing.

src/compiler/common.rs

@@ -197,13 +197,11 @@ impl Intrinsic {
             Intrinsic::Add | Intrinsic::Sub | Intrinsic::Neg => {
                 // Boolean is a corner case, as it is not stable under these operations
                 let max_t = max_type(argtype)?;
-                match max_t.m().rm() {
-                    RawMagma::Binary => max_t.with_raw_magma(RawMagma::Native),
-                    _ => max_t,
-                }
+                max_t.with_raw_magma(RawMagma::Native)
             }
             Intrinsic::VectorAdd | Intrinsic::VectorSub | Intrinsic::VectorMul => {
-                super::max_type(argtype.iter())?
+                let max_t = super::max_type(argtype.iter())?;
+                max_t.with_raw_magma(RawMagma::Native)
             }
             Intrinsic::Exp => argtype[0],
             Intrinsic::Mul => argtype.iter().max().cloned().unwrap_or(Type::INFIMUM),

src/main.rs

@@ -594,7 +594,6 @@ impl ConstraintSetBuilder {
             .map(|r| r.1),
             Either::Right(cs) => Ok(cs),
         }?;
-
         transformer::expand_to(&mut cs, self.expand_to, &self.auto_constraints)?;
         transformer::concretize(&mut cs);
         Ok(cs)