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