Mention about using assumptions in Theories
Merge pull request #920 from AlexYursha/improve-assumptions-docs

Improve documentation on using assumptions.