update typedefs for iterator using proxy