mkMult

open fun mkMult(lhs: Var, rhs: Var): Var