Gravar e-mail: Light sterile neutrinos and lepton-number-violating kaon decays in effective field theory