Reform "access" abstraction, and include replace-tail function in it.