More refactoring and some 'minor' changes

 * Minor change: findRoleFiller. Now if the concept is T (Top Concept)
 * it is not taken into account
Renaming: DLReasoner.hs -> ReasonerADT.hs

 * Some more renamin/refactoring