Renames LConcept -> Concept

WIP: implementing tablaux with assertions
Working first version of Tableaux with TBox

Supports:
* Union
* Intersection
* Negation

Also Show instances created for a variaty of new types