Renames 'Class' -> 'LConcept' & all constructors
Some more QuickTests & code refactoring/commenting
WIP: Assertions. Contains errors
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
Partial support for Existential constructors

Partial because:
  * No exaustive testing
  * Does not keep track of the Exist rule, as it should(?) do, for future reference
Partial support for Universal constructors

Partial because:
  * No exaustive testing
  * Does not keep track of the Forall rule, as it *should* do,
    for future reference
WIP: Implementing a consistency checker

A function that checks if an interpretation is still consistent
Adds an Interpretation consistency checker func
Creates haddock documentation annotations
Partial support for AtLeast constructors

Partial because:
  * No exaustive testing
  * Does not keep track of the AtLeast rule, as it *should* do,
    for future reference
Update .gitignore to exclude SourceGraph dir
Code refactoring after applying HLint suggestions
Format code using stylish-haskell