Text this: The trace theorem, the Luzin N- and Morse-Sard properties for the sharp case of Sobolev-Lorentz mappings