Add assoc list implementation, no axioms.