More basic rules and tests for same
Initial solution now disalows the downgrade of installed packages