Create more general partition_iterate, use it in iterate_norms2 and
prove some properties.