Removed fact relations by typed datastructures in order to increase
maintainability. Caching functionality is broken, probably because the
reading of parameterised typed datastructures from disk does not work.