Fixing segmented iterator traits
Adding more test cases, fixing algorithm_result
Adding more missing typename keywords