Reversal of tab completion was fixed and result value/argument handling was split into separate functors and exported, fixing the missing export of their predecessor functior. An example was added along with a functor for finitary name-to-value mappings (handles arguments only, not results).