An implementation of Bernstein's redo proposal, in a compiled language

These are command-line completion functions for the Z shell's ZLE.
