Several fixes.

- Throw an error when trying to update a package that is not installed
- Do not add duplicate packages to the resolved list
- Make conflict resolution serial instead of parallel
- Fix some dumb mistakes