Operator bases in effective field theories with sterile neutrinos: d ≤ 9