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