inference visitor + some class renamings
typo fixed
smallish refactoring of tracing: always return instances of Conclusion
as premises of all kinds of inferences (except of ReflexiveInference,
that's TODO). This helps to harmonize the TraceStore interface which now
only accepts pairs of (Context, Conclusion) as input.