Updated README
Nicer printout for satisfies()
Updated todo.org
Upgrading mona to 0.2.1