Enhance support for optimization

[teiesti]

This is a follow-up to #16.

While basic support for optimization was made available in #31, there are more features worth considering:

1. Add assertions that allow statements about the model's cost.
2. Add an Implies and Equivalent test.
3. Improve documentation.