Make assoc a generic function

[brandonwillard]

This allows one to change the behavior of assoc, so that it can—say—update the substitution dict in-place, or perform checks before accepting a unification result. Furthermore, it's now possible to preserve the Mapping type after a new unification entry is added. The old approach would always return a plain dict no matter what type of Mapping was given to unify.