make pathmap iteration for export safe

[imlvts]

This uses the newly introduced PathIterator trait and creates a struct that implements it for the purpose of exporting expressions.
This could be done with Iterator trait instead if we assume the iteration is unfallible.