export function mul<T extends IVec>(l: Term<T>, r: IntTerm | number): Op2<T>;