Some more help text
Changed strict inequality to non-strict
Support for propagation through inverse operator suggested in issue #89
Closes #88