Backward transfer

This branch is the result of a bachelor thesis (and several more commits). I would like to request a second look before merging this branch. Nothing really dangerous is done, just a few smaller changes. As the TransferRelation is extended, please report back if you see any conceptual problems.