export function add<T extends UVec>(l: UintTerm | number, r: Term<T>): Op2<T>;