type stability in all norm variants (continuing #6056 and #6057)