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