Proceed is now a State monad. It's been painful.
Added a little check for very close words.