Use OrderedDict for bound values

Makes output less surprising.  Still make dict implementation configurable,
if one uses a JSON formatter, the order matters much less.