Added implies function and a couple test cases for it.

Nicolas - I've added a boolean implies function, which is useful sometimes for pre and postconditions; also added a couple test cases for it.  It seems to belong in dsl.rb, but if you think it should go somewhere else, that's fine.
Thanks.