typo
Merge branch 'master' of https://github.com/Soares/botworld into benja-edits
change text about how lift commands can fail to reflect the order in which we actually check the conditions
fix bug -- Lifted commands always failed, even if they should succeed
typo
minor language tweak
Merge branch 'benja-edits'

Conflicts:
	Botworld.lhs