v4 interface change
serialization
serialization tests
package methods changed, finalizable fields
add tests for elf reasoner
refactor todolist
Minor fixes to reclassify, searchBaader and enhancedSub
cleanup incremental, refactor out elf
Remove incrementral leftovers
Return more precise types in ExprManager
Unify the module construction
move re-classification to TBox/Concept taxonomy
Minor optimisation to enhancedSubs1
Change map entity->sig
Prepare optimised signature creation
Smart module build for incremental
propagate non-subsumptions down the hierarchy
update to FaCT++ 1637
Fixed parsing of boolean values
Refactored inconsistent exception throwing