further generalized norm type deduction, now also works for array_algebra