In Emacs M-/ (dabbrev-expand) just expands to the first choice. You then cycle through the choices by repeating M-/. If you go too far you can cycle back with C-/. C-M-/ (dabbrev-completion) expands to the longest common prefix.
With 5473 I seem to already get the behavior you are talking about: that on M-/ I get a completion list. I agree that getting a list is nice, esp if <backspace><tab> show more choices (in 5473 they don't seem to).
I think there are a few use cases here:
1) I know exactly what I want but I just don't want to type it again (I may be lazy or I don't want to create a typo) so give it to me with as few key strokes as possible
2) I am not quite sure so let me see the choices
3) None of the choices is what I need so let me go back and show me some more choices
Maybe a combination of behavior is the best. With M-/ and C-/ one just cycles through the choices (auto inserted), which takes care of 1).
With C-M-/ (dabbrev-completion) one gets the longest prefix auto inserted and a list of choices. Now it would be truly great that if we can easily just <backspace><tab> to see potentially more choices. But how do you interface with both? For 2) one desires to type just one more letter so as to make a choice in the choice list. For 3) we need to go back but may need backspace quite a bit to get back to before where we started (the only place where we can get new choices) -- can that be achieved with a single backspace instead?
For example suppose I have abcdefg and abwxyz. I type abc, C-M-/ and abcdefg is the sole completion. I may not want it but it would be nice to not have to backspace all the way to b to see the other choice. In other word if I backspace at all it is understood that I want to go before where I started (before where the auto insertion takes place). That would be neat!