Update README.md.
Add work-in-progress prototype of ensure.