use shared pointers in flatten()

As usual, I'm bothered by the noisiness of shared pointers. Difficult to tell
whether the juice is worth the squeeze.