documentation, new convenience method, bugfix

- new method EssentialityOperator
- mini documentation for RankFunction, ClosureFunction, IndependenceOracle, CircuitOracle, EssentialityOperator
- fixed bug in NonTrivialParallelClasses