Implemented `make_whole()`

This is pretty basic, but I *think* it works for our most common applications.