Text this: Neutrino seesaw models at one-loop matching: discrimination by effective operators