introduced interfaces for conclusions; added generic parameters for
subsumers -> killed some casts; added missing generic parameters; killed
all warnings to easier find new ones
new files missing from the previous commit
Merge branch 'master' into feature/tracing-review