WIP: Handles functionality with TBox, Abox and CGI
Serious code refactoring. Renames/removes functions
Refactoring continued
WIP: Take into account (in)equality assertions
Now Exists Rule ALWAYS creates new individual
Bug fixed: filtered pairs, plus some enhancements
Some more refactoring/commenting
Model State holds a list of Ind substitutions
NOT WORKING: We need to implement blocking
WIP: Blocking -> implemented initial functionality
WIP: First version of a working blocking algorithm

* Needs further testing
* May need expansion (see p.172 "Hypertableau Reasoning for DL")
Improvements and tests for the blocking mechanism

* 'blocked' property of the state to hold the blocking/blocked individuals
* add assertions to the implementation when a blockage is found