branch  to solve the types in the ontology
types
Merge branch 'develop' into bugfix/OntologyTypesTest
modify OntologyTypeTest
Created test UnfoldingIMDBTest for bug on unbound variable
new test example
add comments
fixed pushing types when aggregate
new query
fixed patch Wp5
Merge branch 'feature/aggregates2' of github.com:ontop/ontop into feature/aggregates2
Merge branch 'feature/aggregates2' of github.com:ontop/ontop into feature/aggregates2
fresh branch commit
Modified TMapping Processor not to add a new mapping from 2 mappings with equal conditions
Execute enforce equialities of DatalogNormalizer in Quest
removed test UnfoldingIMDBTest
Added test, consider the case of AND to eliminate equiality in DatalogNormalizer
cleaning Repository
cleaned Repository
cleaned QueryRewriter