quickly tested all up until solving, and seems to work. Added a method to universe, to get the repository from a package. The rest holds quite nicely for now.
merge with Jakub. showed that there is a problem with dependencies. the rest seems fine.