Also change the definition of agreement slightly, so agree_map can be defined
for any function, and not just non-expansive functions.