Describir: Direct constraints on the agnostic νSMEFT from heavy-neutrino searches at the LHC